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.)

Jump to: navigation, search
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

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, JP(X)[Note 1] such that[1]:

  • XJ and J
  • If {Ui}ni=1J is a finite collection of elements of J then ni=1UiJ too - J is closed under finite intersection.
  • If {Uα}αIJ 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 xX we call x a point (of the topological space (X,J))[1]
  • For UJ 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:
just find a glut and spew them here, the definition is the one thing every book I've found agrees on

Notes

  1. Jump up Or JP(P(X)) if you prefer, here P(X) denotes the power-set of X. This means that if UJ then UX

References

  1. Jump up to: 1.0 1.1 1.2 Introduction to Topological Manifolds - John M. Lee