• 検索結果がありません。

MINIMAL CLOSED SETS AND MAXIMAL CLOSED SETS FUMIE NAKAOKA AND NOBUYUKI ODA Received 20 December 2005; Revised 28 May 2006; Accepted 6 August 2006

N/A
N/A
Protected

Academic year: 2022

シェア "MINIMAL CLOSED SETS AND MAXIMAL CLOSED SETS FUMIE NAKAOKA AND NOBUYUKI ODA Received 20 December 2005; Revised 28 May 2006; Accepted 6 August 2006"

Copied!
9
0
0

読み込み中.... (全文を見る)

全文

(1)

FUMIE NAKAOKA AND NOBUYUKI ODA

Received 20 December 2005; Revised 28 May 2006; Accepted 6 August 2006

Some properties of minimal closed sets and maximal closed sets are obtained, which are dual concepts of maximal open sets and minimal open sets, respectively. Common properties of minimal closed sets and minimal open sets are clarified; similarly, common properties of maximal closed sets and maximal open sets are obtained. Moreover, inter- relations of these four concepts are studied.

Copyright © 2006 Hindawi Publishing Corporation. All rights reserved.

1. Introduction

Some properties of minimal open sets and maximal open sets are studied in [1,2]. In this paper, we define dual concepts of them, namely, maximal closed set and minimal closed set. These four types of subsets appear in finite spaces, for example. More generally, min- imal open sets and maximal closed sets appear in locally finite spaces such as the digital line. Minimal closed sets and maximal open sets appear in cofinite topology, for example.

We have to study these four concepts to understand the relations among their properties.

Some of the results in [1,2] can be dualized using standard techniques of general topol- ogy. But we have to study the “dual results” carefully to understand the duality which we propose in this paper and in [2]. For example, considering the interrelation of these four concepts, we see that some results in [1,2] can be generalized further.

In [1] we called a nonempty open setUofXa minimal open set if any open set which is contained inU isorU. But to consider duality, we have to consider only “proper nonempty open setU of X,” as in the following definitions: a proper nonempty open subsetUofXis said to be a minimal open set if any open set which is contained inU is

orU. A proper nonempty open subsetU ofXis said to be a maximal open set if any open set which containsUisXorU. In this paper, we will use the following definitions.

A proper nonempty closed subsetFofXis said to be a minimal closed set if any closed set which is contained inFisorF. A proper nonempty closed subsetFofXis said to be a maximal closed set if any closed set which containsFisXorF.

Hindawi Publishing Corporation

International Journal of Mathematics and Mathematical Sciences Volume 2006, Article ID 18647, Pages1–8

DOI 10.1155/IJMMS/2006/18647

(2)

LetFbe a subset of a topological spaceX. Then the following duality principle holds:

(1)Fis a minimal closed set if and only ifXFis a maximal open set;

(2)Fis a maximal closed set if and only ifXFis a minimal open set.

In Sections2and3, we will show some results on minimal closed sets and maximal closed sets. InSection 4, we will obtain some further results on minimal open sets and maximal open sets.

The symbolΛ\Γmeans difference of index sets, namely,Λ\Γ=ΛΓ, and the cardi- nality of a setΛis denoted by|Λ|in the following arguments. A subsetMof a topological spaceXis called a pre-open set ifMInt(Cl(M)) and a subsetMis called a pre-closed set ifXMis a pre-open set.

2. Minimal closed sets

In this section, we prove some results on minimal closed sets.

The following result shows that a fundamental result of [1, Lemma 2.2] also holds for closed sets; it is the dual result of [2, Lemma 2.2].

Lemma 2.1. (1) LetFbe a minimal closed set andNa closed set. ThenFN= ∅orFN. (2) LetFandSbe minimal closed sets. ThenFS= ∅orF=S.

The proof ofLemma 2.1is omitted, since it is obtained by an argument similar to the proof of [1, Lemma 2.2]. Now, we generalize the dual result of [2, Theorem 2.4].

Theorem 2.2. LetFandFλbe minimal closed sets for any elementλofΛ. (1) IfF

λΛFλ, then there exists an elementλofΛsuch thatF=Fλ. (2) IfF=Fλfor any elementλofΛ, then (λΛFλ)F= ∅.

Proof. (1) SinceF

λΛFλ, we getF=F(λΛFλ)=

λΛ(FFλ). IfF=Fλfor any elementλofΛ, thenFFλ= ∅for any elementλofΛbyLemma 2.1(2), hence we have

∅ =

λΛ(FFλ)=F. This contradicts our assumption thatFis a minimal closed set.

Thus there exists an elementλofΛsuch thatF=Fλ.

(2) If (λΛFλ)F= ∅, then there exists an elementλofΛsuch thatFλF= ∅. By Lemma 2.1(2), we haveFλ=F, which is a contradiction.

Corollary 2.3. LetFλbe a minimal closed set for any elementλofΛandFλ=Fμfor any elementsλandμofΛwithλ=μ. IfΓis a proper nonempty subset ofΛ, then (λΛ\ΓFλ) (γΓFγ)= ∅.

The following result is a generalization of the dual result of [2, Theorem 2.5].

Theorem 2.4. LetFλandFγbe minimal closed sets for any elementλofΛandγof Γ. If there exists an elementγofΓsuch thatFλ=Fγfor any elementλofΛ, thenγΓFγ

λΛFλ. Proof. Suppose that an elementγofΓsatisfiesFλ=Fγfor any elementλofΛ. IfγΓFγ λΛFλ, then we getFγ

λΛFλ. ByTheorem 2.2(1), there exists an elementλof Λ

such thatFγ=Fλ, which is a contradiction.

The dual result of [2, Theorem 4.6] is stated as follows.

(3)

Theorem 2.5. LetFλbe a minimal closed set for any elementλofΛandFλ=Fμ for any elementsλandμofΛwithλ=μ. IfΓis a proper nonempty subset ofΛ, thenγΓFγ λΛFλ.

Proof. Let κ be any element of Λ\Γ. Then Fκ(γΓFγ)=

γΓ(FκFγ)= ∅ and Fκ(λΛFλ)=

λΛ(FκFλ)=Fκ. IfγΓFγ=

λΛFλ, then we have∅ =Fκ. This contradicts our assumption thatFκis a minimal closed set.

The following theorem is the dual result of [2, Theorem 4.2] and is the key to the proof ofTheorem 2.7, which is closely connected with [2, Theorem 4.7].

Theorem 2.6. Assume that|Λ| ≥2 and letFλbe a minimal closed set for any elementλof ΛandFλ=Fμ for any elementsλandμofΛwithλ=μ. ThenFμX

λΛ\{μ}Fλand henceλΛ\{μ}Fλ=Xfor any elementμofΛ.

Proof. ByCorollary 2.3, we have the result.

Theorem 2.7 (recognition principle for minimal closed sets). Assume that|Λ| ≥2 and letFλbe a minimal closed set for any elementλofΛandFλ=Fμfor any elementsλandμof Λwithλ=μ. Then for any elementμofΛ,

Fμ=

λΛ

Fλ

X

λΛ\{μ}

Fλ

. (2.1)

Proof. Letμbe an element ofΛ. ByTheorem 2.6, we have

λΛFλ

X

λΛ\{μ}

Fλ

=

λΛ\{μ}

Fλ

Fμ

X

λΛ\{μ}

Fλ

=

λΛ\{μ}

Fλ

X

λΛ\{μ}

Fλ

Fμ

X

λΛ\{μ}

Fλ

=Fμ

X

λΛ\{μ}

Fλ

=Fμ.

(2.2)

As an application ofTheorem 2.7, we prove the following result which is the dual result of [2, Theorem 4.8].

Theorem 2.8. LetFλbe a minimal closed set for any elementλof a finite setΛandFλ=Fμ

for any elementsλandμofΛwithλ=μ. IfλΛFλis an open set, thenFλis an open set for any elementλofΛ.

Proof. Let μ be an element of Λ. By Theorem 2.7, we have Fμ=(λΛFλ)(X λΛ\{μ}Fλ)=(λΛFλ)(λΛ\{μ}(XFλ)). By our assumption, it is seen that λΛ\{μ}(XFλ) is an open set. HenceFμis an open set.

(4)

As an immediate consequence ofTheorem 2.6, we have the following result which is the dual of [2, Theorem 4.9].

Theorem 2.9. Assume that|Λ| ≥2 and letFλbe a minimal closed set for any elementλof ΛandFλ=Fμfor any elementsλandμofΛwithλ=μ. IfλΛFλ=X, then{Fλ|λΛ} is the set of all minimal closed sets ofX.

LetᏲ= {Fλ|λΛ}be a set of minimal closed sets. We call=

λΛFλthe corad- ical ofᏲ. The following result about coradical is obtained by [2, Theorem 4.13].

Theorem 2.10. LetFλbe a minimal closed set for any elementλofΛandFλ=Fμfor any elementsλandμofΛwithλ=μ. IfλΛFλis an open set, thenλΛ\{μ}Fλis an open set for any elementμofΛ.

Theorem 2.11. LetFbe a minimal closed set. Then, Int(F)=For Int(F)= ∅.

Proof. If we putU=XFin [2, Theorem 3.5], then we have the result.

IfSis a proper subset of a minimal closed set, then Int(S)= ∅and henceSis a pre- closed set (cf. [2, Corollary 3.7]).

Theorem 2.12. Let Fλ be a minimal closed set for any element λ of a finite set Λ. If Int(λΛFλ)= ∅, then there exists an elementλofΛsuch that Int(Fλ)=Fλ.

Proof. Since Int(λΛFλ)= ∅, there exists an elementxof Int(λΛFλ). Then there ex- ists an open set U such that xU

λΛFλ and hence there exists an elementμ of Λsuch thatxFμ. By Theorems2.6and2.7,xU(X

λΛ\{μ}Fλ)(λΛFλ) (X

λΛ\{μ}Fλ)=Fμ. SinceU(X

λΛ\{μ}Fλ) is an open set, we see thatxis an element of Int(Fμ) and hence Int(Fμ)= ∅. Therefore there exists an elementμofΛsuch

that Int(Fμ)=FμbyTheorem 2.11.

Remark 2.13. IfΛis an infinite set, thenTheorem 2.12does not hold. For example, see [2, Example 5.3].

Theorem 2.14 (the law of interior of coradical). LetFλ be a minimal closed set for any elementλof a finite setΛandFλ=Fμfor any elementsλandμofΛwithλ=μ. LetΓbe a subset ofΛsuch that

IntFλ

=Fλ for anyλΓ, IntFλ

= ∅ for anyλΛ\Γ. (2.3)

Then Int(λΛFλ)=

λΓFλ(= ∅ifΓ= ∅).

Proof. By [2, Theorem 5.4], we have the result.

3. Maximal closed sets

The following lemma is the dual ofLemma 2.1.

Lemma 3.1. (1) LetFbe a maximal closed set andNa closed set. ThenFN=XorNF.

(2) LetFandSbe maximal closed sets. ThenFS=XorF=S.

(5)

LetFλbe a maximal closed set for any elementλofΛ. LetᏲ= {Fλ|λΛ}. We call =

λΛFλthe radical ofᏲ.

Corollary 3.2. LetFandFλbe maximal closed sets for any elementλofΛ. IfF=Fλfor any elementλofΛ, then (λΛFλ)F=X.

Proof. ByLemma 3.1(2), we have the result.

Theorem 3.3. LetFandFλbe maximal closed sets for any elementλofΛ. IfλΛFλF, then there exists an elementλofΛsuch thatF=Fλ.

Proof. SinceλΛFλF, we getF=F(λΛFλ)=

λΛ(FFλ). IfFFλ=X for any elementλofΛ, then we haveX=

λΛ(FFλ)=F. This contradicts our assumption thatFis a maximal closed set. Then there exists an elementλofΛsuch thatFFλ=X.

ByLemma 3.1(2), we have the result.

Corollary 3.4. LetFλandFγ be maximal closed sets for any elementsλΛandγΓ. IfγΓFγ

λΛFλ, then for any elementλofΛ, there exists an elementγΓsuch that Fλ=Fγ.

Corollary 3.5. LetFα,Fβ, andFγbe maximal closed sets which are different from each other. Then

FαFβFαFγ. (3.1)

Theorem 3.6. LetFλ be a maximal closed set for any elementλofΛandFλ=Fμ for any elementsλandμofΛwithλ=μ. IfΓis a proper nonempty subset ofΛ, thenλΛ\ΓFλ γΓFγ

λΛ\ΓFλ.

Proof. Letγ be any element ofΓ. IfλΛ\ΓFλFγ, then we getFλ=Fγ for someλ Λ\ΓbyTheorem 3.3. This contradicts our assumption. Therefore we haveλΛ\ΓFλ γΓFγ. On the other hand, sinceγΓFγ=

γΛ\(Λ\Γ)Fγ

λΛ\ΓFλ, we haveγΓFγ λΛ\ΓFλ. Theorem 3.7. LetFλ be a maximal closed set for any elementλofΛandFλ=Fμ for any elementsλandμofΛwithλ=μ. IfΓis a proper nonempty subset ofΛ, thenλΛFλ γΓFγ.

Proof. Letκbe any element ofΛ\Γ. ThenFκ(γΓFγ)=

γΓ(FκFγ)=XandFκ (λΛFλ)=

λΛ(FκFλ)=Fκ. IfγΓFγ=

λΛFλ, then we haveX=Fκ. This contra-

dicts our assumption thatFκis a maximal closed set.

Theorem 3.8. Assume that|Λ| ≥2 and letFλbe a maximal closed set for any elementλof ΛandFλ=Fμ for any elementsλandμofΛwithλ=μ. ThenX

λΛ\{μ}FλFμand henceλΛ\{μ}Fλ= ∅for any elementμofΛ.

Proof. Letμbe any element ofΛ. ByLemma 3.1(2), we haveXFμFλfor any element λofΛwithλ=μ. ThenXFμ

λΛ\{μ}Fλ. Therefore we haveX

λΛ\{μ}FλFμ. IfλΛ\{μ}Fλ= ∅, we haveX=Fμ. This contradicts our assumption thatFμis a max- imal closed set. Therefore we haveλΛ\{μ}Fλ= ∅.

(6)

Theorem 3.9 (decomposition theorem for maximal closed sets). Assume that |Λ| ≥2 and letFλbe a maximal closed set for any elementλofΛandFλ=Fμfor any elementsλand μofΛwithλ=μ. Then for any elementμofΛ,

Fμ=

λΛFλ

X

λΛ\{μ}

Fλ

. (3.2)

Proof. Letμbe an element ofΛ. ByTheorem 3.8, we have

λΛFλ

X

λΛ\{μ}

Fλ

=

λΛ\{μ}

Fλ

Fμ

X

λΛ\{μ}

Fλ

=

λΛ\{μ}

Fλ

X

λΛ\{μ}

Fλ

Fμ

X

λΛ\{μ}

Fλ

=Fμ

X

λΛ\{μ}

Fλ

=Fμ.

(3.3)

Theorem 3.10. LetFλbe a maximal closed set for any elementλofΛandFλ=Fμfor any elementsλandμofΛwithλ=μ. IfλΛFλ is an open set, thenFλis an open set for any elementλofΛ.

Proof. By Theorem 3.9, we have Fμ =(λΛFλ)(X

λΛ\{μ}Fλ)=(λΛFλ) (λΛ\{μ}(XFλ)). Then λΛ\{μ}(XFλ) is an open set. HenceFμ is an open set by

our assumption.

Theorem 3.11. Assume that|Λ| ≥2 and letFλbe a maximal closed set for any elementλof ΛandFλ=Fμfor any elementsλandμofΛwithλ=μ. IfλΛFλ= ∅, then{Fλ|λΛ} is the set of all maximal closed sets ofX.

Proof. If there exists another maximal closed set Fν of X which is not equal to Fλ

for any elementλof Λ, then∅ =

λΛFλ=

λ(Λ∪{ν})\{ν}Fλ. ByTheorem 3.8, we get λ∪{ν})\{ν}Fλ= ∅. This contradicts our assumption.

Theorem 3.12. Assume that|Λ| ≥2 and letFλ be a maximal closed set for any element λofΛandFλ=Fμ for any elementsλ andμofΛwithλ=μ. If Int(λΛFλ)= ∅, then {Fλ|λΛ}is the set of all maximal closed sets ofX.

Proof. If there exists another maximal closed setFofXwhich is not equal toFλfor any elementλ of Λ, thenXF

λΛFλ byTheorem 3.8. It follows that Int(λΛFλ) Int(XF)=XF= ∅. This contradicts our assumption.

The proof of the following lemma is immediate and is omitted.

Lemma 3.13. LetAandBbe subsets ofX. IfAB=X, andABis an open set andAis a closed set, thenBis an open set.

(7)

Proposition 3.14. LetFλbe a closed set for any elementλofΛandFλFμ=X for any elementsλandμofΛwithλ=μ. IfλΛFλis an open set, thenλΛ\{μ}Fλis an open set for any elementμofΛ.

Proof. Letμbe any element ofΛ. SinceFλFμ=Xfor any elementλofΛwithλ=μ, we haveFμ(λΛ\{μ}Fλ)=

λΛ\{μ}(FμFλ)=X. SinceFμ(λΛ\{μ}Fλ)=

λΛFλ

is an open set by our assumption,λΛ\{μ}Fλis an open set byLemma 3.13.

Theorem 3.15. LetFλbe a maximal closed set for any elementλofΛandFλ=Fμfor any elementsλandμofΛwithλ=μ. IfλΛFλis an open set, thenλΛ\{μ}Fλis an open set for any elementμofΛ.

Proof. ByLemma 3.1(2), we haveFλFμ=Xfor any elementsλandμofΛwithλ=μ. ByProposition 3.14, we haveλΛ\{μ}Fλis an open set.

4. Minimal open sets and maximal open sets

In this section, we record some results on minimal open sets and maximal open sets, which are not proved in [1,2]. The proofs are omitted since they are obtained by dual arguments.

Letᐁ= {Uλ|λΛ}be a set of minimal open sets. We call=

λΛUλthe corad- ical ofᐁ. By an argument similar toTheorem 2.2, we have the following result.

Theorem 4.1. LetUandUλbe minimal open sets for any elementλofΛ. (1) IfU

λΛUλ, then there exists an elementλofΛsuch thatU=Uλ. (2) IfU=Uλfor any elementλofΛ, then (λΛUλ)U= ∅.

Corollary 4.2. LetUλbe a minimal open set for any elementλofΛandUλ=Uμfor any elementsλandμofΛwithλ=μ. IfΓis a proper nonempty subset ofΛ, then (λΛ\ΓUλ) (γΓUγ)= ∅.

The following results are shown by the arguments similar to the proofs of Theorems 2.4,2.5, and2.6, respectively.

Theorem 4.3. LetUλandUγbe minimal open sets for any elementsλΛandγΓ. If there exists an elementγofΓsuch thatUλ=Uγ for any elementλofΛ, thenγΓUγ λΛUλ.

Theorem 4.4. LetUλ be a minimal open set for any elementλofΛandUλ=Uμ for any elementsλandμofΛwithλ=μ. IfΓis a proper nonempty subset ofΛ, thenγΓUγ λΛUλ.

Theorem 4.5. Assume that|Λ| ≥2 and letUλbe a minimal open set for any elementλof ΛandUλ=Uμfor any elementsλandμofΛwithλ=μ. ThenUμX

λΛ\{μ}Uλand henceλΛ\{μ}Uλ=Xfor any elementμofΛ.

We obtain the following result for minimal open sets (cf. Theorems2.7and3.9).

Theorem 4.6 (recognition principle for minimal open sets). Assume that|Λ| ≥2 and let Uλbe a minimal open set for any elementλofΛandUλ=Uμfor any elementsλandμofΛ

(8)

withλ=μ. Then for any elementμofΛ, Uμ=

λΛ

Uλ

X

λΛ\{μ}

Uλ

. (4.1)

Theorem 4.7. LetUλbe a minimal open set for any elementλof any setΛandUλ=Uμfor any elementsλandμofΛwithλ=μ. IfλΛUλis a closed set, thenUλis a closed set for any elementλofΛ(cf. Theorems2.8and3.10).

Theorem 4.8. Assume that|Λ| ≥2 and letUλbe a minimal open set for any elementλofΛ andUλ=Uμfor any elementsλandμofΛwithλ=μ. IfλΛUλ=X, then{Uλ|λΛ} is the set of all minimal open sets ofX(cf. Theorems2.9and3.11).

Theorem 4.9. Assume that|Λ| ≥2 and letUλ be a minimal open set for any elementλ ofΛandUλ=Uμ for any elementsλ andμof Λwith λ=μ. If Cl(λΛUλ)=X, then {Uλ|λΛ}is the set of all minimal open sets ofX(cf. Theorem3.12).

Example 4.10 (the digital line). The digital line is the setZof the intergers equipped with the topologyτhaving a family of subsetsS= {{2k1, 2k, 2k+ 1} |kZ}as a subbase.

We consider a set of minimal open sets{Uk= {2k+ 1} |kZ}. Then Cl(k∈ZUk)= Cl({2k+ 1|kZ})=Zand hence{Uk= {2k+ 1} |kZ}is the set of all minimal open sets in (Z,τ).

Finally we consider maximal open sets. The following results are the duals of Theorems 2.2(1) and2.4.

Theorem 4.11. LetUandUλbe maximal open sets for any elementλofΛ. IfU

λΛUλ, then there exists an elementλofΛsuch thatU=Uλ.

Theorem 4.12. LetUλ andUγbe maximal open sets for any elementsλofΛandγofΓ.

If there exists an elementγofΓsuch thatUλ=Uγ for any elementλofΛ, thenγΓUγ λΛUλ.

References

[1] F. Nakaoka and N. Oda, Some applications of minimal open sets, International Journal of Mathe- matics and Mathematical Sciences 27 (2001), no. 8, 471–476.

[2] , Some properties of maximal open sets, International Journal of Mathematics and Math- ematical Sciences 2003 (2003), no. 21, 1331–1340.

Fumie Nakaoka: Department of Applied Mathematics, Fukuoka University, Nanakuma Jonan-ku, Fukuoka 814-0180, Japan

E-mail address:[email protected]

Nobuyuki Oda: Department of Applied Mathematics, Fukuoka University, Nanakuma Jonan-ku, Fukuoka 814-0180, Japan

E-mail address:[email protected]

(9)

Special Issue on

Singular Boundary Value Problems for Ordinary Differential Equations

Call for Papers

The purpose of this special issue is to study singular boundary value problems arising in differential equations and dynamical systems. Survey articles dealing with interac- tions between different fields, applications, and approaches of boundary value problems and singular problems are welcome.

This Special Issue will focus on any type of singularities that appear in the study of boundary value problems. It includes:

• Theory and methods

• Mathematical Models

• Engineering applications

• Biological applications

• Medical Applications

• Finance applications

• Numerical and simulation applications

Before submission authors should carefully read over the journal’s Author Guidelines, which are located at http://www.hindawi.com/journals/bvp/guidelines.html. Au- thors should follow the Boundary Value Problems manu- script format described at the journal site http://www .hindawi.com/journals/bvp/. Articles published in this Spe- cial Issue shall be subject to a reduced Article Proc- essing Charge of C200 per article. Prospective authors should submit an electronic copy of their complete manuscript through the journal Manuscript Tracking Sys- tem at http://mts.hindawi.com/according to the following timetable:

Manuscript Due May 1, 2009 First Round of Reviews August 1, 2009 Publication Date November 1, 2009

Lead Guest Editor

Juan J. Nieto,Departamento de Análisis Matemático, Facultad de Matemáticas, Universidad de Santiago de

Compostela, Santiago de Compostela 15782, Spain;

[email protected]

Guest Editor

Donal O’Regan,Department of Mathematics, National University of Ireland, Galway, Ireland;

[email protected]

Hindawi Publishing Corporation http://www.hindawi.com

参照

関連したドキュメント