PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] proof of alternative characterizations of Noetherian topological spaces (Proof)

We prove the equivalence of the following five conditions for a topological space $X$ :

Proof.

Let $f\colon P(X) \to P(X)$ be the complement map, i.e., $f(A) = X \setminus A$ for any subset $A$ of $X$ . Then $f$ induces an order-reversing bijective map between the open subsets of $X$ and the closed subsets of $X$ . Sending arbitrary chains/sets of open/closed subsets of $X$ through $f$ then immediately yields the equivalence of conditions (DCC) and (ACC) of the theorem, and also the equivalence of (Min) and (Max).

(Min) $\Rightarrow$ (DCC) is obvious, since the elements of an infinite strictly descending chain of closed subsets of $X$ would form a set of closed subsets of $X$ without minimal element. Likewise, given a non-empty set $S$ consisting of closed subsets of $X$ without minimal element, one can construct an infinite strictly descending chain in $S$ simply by starting with any $A_0 \in S$ and choosing for $A_{n+1}$ any proper subset of $A_n$ satisfying $A_{n+1} \in S$ . Hence, we have proven conditions (ACC), (DCC), (Min) and (Max) of the theorem to be equivalent, and will be done if we can prove equivalence of statement (HC) to the others.

To this end, first assume statement (HC), and let $(U_i)_{i \in \N}$ be an ascending sequence of open subsets of $X$ . Then obviously, the $U_i$ form an open cover of $U = \bigcup_{i \in \N} U_i$ , which by assumption is bound to have a finite subcover. Hence, there exists $n \in \N$ such that $\bigcup_{i=0}^n U_i = \bigcup_{i \in \N} U_i$ , so our ascending sequence is in fact stationary. Conversely, assume statement (Max) of the theorem, let $A \subseteq X$ be any subset of $X$ and let $(U_i)_ {i \in I}$ be a family of open sets in $X$ such that the $U_i \cap A$ form an open cover of $A$ with respect to the subspace topology. Then, by the assumption, the set of finite unions of the $U_i$ has at least one maximal element, say $U$ , and with any $i \in I$ we obtain $U_i \cup U = U$ because of maximality of $U$ . Hence, we have $U_i \subseteq U$ for all $i \in I$ , so in fact $\bigcup_{i \in I} U_i = U$ . But, $U$ was a union of a finite number of $U_i$ by construction; hence, a finite subcovering of $U$ and thereby of $A$ has been found.




"proof of alternative characterizations of Noetherian topological spaces" is owned by yark. [ full author list (2) | owner history (1) ]
(view preamble | get metadata)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: number, unions, subspace topology, conversely, stationary, subcover, finite, open cover, sequence, proper subset, construct, strictly, infinite, elements, bijective, order-reversing, induces, map, proof, compact, subset, maximal element, minimal element, open subsets, closed subsets, topological space

This is version 9 of proof of alternative characterizations of Noetherian topological spaces, born on 2005-07-27, modified 2006-09-14.
Object id is 7274, canonical name is ProofOfAlternateCharacterizationsOfTheNoetherianCondition2.
Accessed 1535 times total.

Classification:
AMS MSC14A10 (Algebraic geometry :: Foundations :: Varieties and morphisms)

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)