Topology
From Maths
Revision as of 20:49, 12 May 2016 by Alec (Talk | contribs) (This was an old subject page, it now contains information about a topology.)
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:
Should be easy to flesh out, find some more references and demote to grade C once acceptable
Contents
[hide]Caution:This page is about topologies only, usually when talk of topologies we don't mean a topology but rather a topological space which is a topology with its underlying set. See that page for more details
Definition
A topology on a set X is a collection of subsets, J⊆P(X)[Note 1] such that[1]:
- X∈J and ∅∈J
- If {Ui}ni=1⊆J is a finite collection of elements of J then ⋂ni=1Ui∈J too - J is closed under finite intersection.
- If {Uα}α∈I⊆J is any collection of elements of J (finite, countable, uncountable or otherwise) then ⋃α∈IUα∈J - J is closed under arbitrary union.
We call the elements of J the open sets of the topology.
A topological space is simply a tuple consisting of a set (say X) and a topology (say J) on that set - (X,J).
- Note: A topology may be defined in terms of closed sets - A closed set is a subset of X whose complement is an open set. A subset of X may be both closed and open, just one, or neither.
Terminology
- For x∈X we call x a point (of the topological space (X,J))[1]
- For U∈J we call U an open set (of the topological space (X,J))[1]
(Unknown grade)
This page requires references, it is on a to-do list for being expanded with them.
Please note that this does not mean the content is unreliable, it just means that the author of the page doesn't have a book to hand, or remember the book to find it, which would have been a suitable reference.
The message provided is:
The message provided is:
just find a glut and spew them here, the definition is the one thing every book I've found agrees on
Notes
- Jump up ↑ Or J∈P(P(X)) if you prefer, here P(X) denotes the power-set of X. This means that if U∈J then U⊆X
References
|