Difference between revisions of "A subset of a topological space is disconnected if and only if it can be covered by two non-empty-in-the-subset and disjoint-in-the-subset sets that are open in the space itself"
From Maths
m (→Statement: noting the definition of a disconnected subset) |
m (→Statement: word missing) |
||
| Line 3: | Line 3: | ||
==Statement== | ==Statement== | ||
Let {{Top.|X|J}} be a [[topological space]] and let {{M|A\in\mathcal{P}(X)}} be an arbitrary [[subset of]] {{M|X}}, then{{rITTBM}}: | Let {{Top.|X|J}} be a [[topological space]] and let {{M|A\in\mathcal{P}(X)}} be an arbitrary [[subset of]] {{M|X}}, then{{rITTBM}}: | ||
| − | * The topological space {{M|(A,\mathcal{J}_A)}} (which is {{M|A}} imbued with the [[subspace topology]] inherited from {{Top.|X|J}}) is {{link|disconnected|topology}} (the definition of {{link|disconnected subset|topology}}) | + | * The topological space {{M|(A,\mathcal{J}_A)}} (which is {{M|A}} imbued with the [[subspace topology]] inherited from {{Top.|X|J}}) is {{link|disconnected|topology}} (the very definition of {{link|disconnected subset|topology}}) |
{{iff}} | {{iff}} | ||
* {{M|1=\exists U,V\in\mathcal{J}[\underbrace{\ U\cap A\ne\emptyset\ }_{U\text{ non-empty in }A}\wedge\underbrace{\ V\cap A\ne\emptyset\ }_{V\text{ non-empty in } A}\wedge\underbrace{\ U\cap V\cap A=\emptyset\ }_{U,\ V\text{ disjoint in }A}\wedge\underbrace{\ A\subseteq U\cup V\ }_{\text{covers }A}]}} - the "disjoint in {{M|A}}" condition is perhaps better written as: {{M|1=(U\cap A)\cap(V\cap A)=\emptyset}} | * {{M|1=\exists U,V\in\mathcal{J}[\underbrace{\ U\cap A\ne\emptyset\ }_{U\text{ non-empty in }A}\wedge\underbrace{\ V\cap A\ne\emptyset\ }_{V\text{ non-empty in } A}\wedge\underbrace{\ U\cap V\cap A=\emptyset\ }_{U,\ V\text{ disjoint in }A}\wedge\underbrace{\ A\subseteq U\cup V\ }_{\text{covers }A}]}} - the "disjoint in {{M|A}}" condition is perhaps better written as: {{M|1=(U\cap A)\cap(V\cap A)=\emptyset}} | ||
Revision as of 00:49, 2 October 2016
Stub grade: A
This page is a stub
This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.The message provided is:
Taking a break now, flesh out in the future
Contents
[hide]Statement
Let (X,J) be a topological space and let A∈P(X) be an arbitrary subset of X, then[1]:
- The topological space (A,JA) (which is A imbued with the subspace topology inherited from (X,J)) is disconnected (the very definition of disconnected subset)
- ∃U,V∈J[ U∩A≠∅ ⏟U non-empty in A∧ V∩A≠∅ ⏟V non-empty in A∧ U∩V∩A=∅ ⏟U, V disjoint in A∧ A⊆U∪V ⏟covers A] - the "disjoint in A" condition is perhaps better written as: (U∩A)∩(V∩A)=∅
- In words - "there exist two sets open in (X,J) that are disjoint in A and non-empty in A that cover A"
TODO: There is a formulation similar this (see p114, Mendelson) that works in terms of closed rather than open sets, link to it!
Proof
Grade: A
This page requires one or more proofs to be filled in, it is on a to-do list for being expanded with them.
Please note that this does not mean the content is unreliable. Unless there are any caveats mentioned below the statement comes from a reliable source. As always, Warnings and limitations will be clearly shown and possibly highlighted if very important (see template:Caution et al).
The message provided is:
This proof has been marked as an page requiring an easy proof
The message provided is:
This is actually rather important and ought to be done
This proof has been marked as an page requiring an easy proof
Leads to
- A space is a disconnected subset of itself if and only if the space itself is disconnected
- A space is a connected subset of itself if and only if the space itself is connected - one can be used to prove the other
See also
TODO: Flesh out
References
