Difference between revisions of "Connected (topology)"
From Maths
m |
m |
||
| Line 10: | Line 10: | ||
==Equivalent definition== | ==Equivalent definition== | ||
We can also say: A topological space <math>(X,\mathcal{J})</math> is connected if and only if the sets <math>X,\emptyset</math> are the only two sets that are both open and closed. | We can also say: A topological space <math>(X,\mathcal{J})</math> is connected if and only if the sets <math>X,\emptyset</math> are the only two sets that are both open and closed. | ||
| + | {{Begin Theorem}} | ||
| + | Theorem: A topological space <math>(X,\mathcal{J})</math> is connected if and only if the sets <math>X,\emptyset</math> are the only two sets that are both open and closed. | ||
| + | {{Begin Proof}} | ||
| + | '''Connected<math>\implies</math>only sets both open and closed are <math>X,\emptyset</math>''' | ||
| + | :Suppose <math>X</math> is connected and there exists a set <math>A</math> that is not empty and not all of <math>X</math> which is both open and closed. Then as :this is closed, <math>X-A</math> is open. Thus <math>A,X-A</math> is a separation, contradicting that <math>X</math> is connected. | ||
| − | + | '''Only sets both open and closed are <math>X,\emptyset\implies</math>connected''' | |
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
{{Todo}} | {{Todo}} | ||
| + | {{End Proof}} | ||
| + | {{End Theorem}} | ||
| + | ==Connected subset== | ||
| + | Let {{M|A}} and {{M|B}} be two [[Subspace topology|topological subspaces]] - they are separated if each is disjoint from the [[Closure, interior and boundary|closure]] of the other (closure in {{M|X}}), that is: | ||
| + | * <math>(B\cap \bar{A})\cup(A\cap\bar{B})=\emptyset</math> | ||
{{Definition|Topology}} | {{Definition|Topology}} | ||
Revision as of 18:21, 19 April 2015
Definition
A topological space (X,J) is connected if there is no separation of X
Separation
This belongs on this page because a separation is only useful in this definition.
A separation of X is a pair of two non-empty open sets U,V where U∩V=∅ where U∪V=X
Equivalent definition
We can also say: A topological space (X,J) is connected if and only if the sets X,∅ are the only two sets that are both open and closed.
[Expand]
Theorem: A topological space (X,J) is connected if and only if the sets X,∅ are the only two sets that are both open and closed.
Connected subset
Let A and B be two topological subspaces - they are separated if each is disjoint from the closure of the other (closure in X), that is:
- (B∩ˉA)∪(A∩ˉB)=∅
