Everything2
Near Matches
Ignore Exact
Full Text
Everything2

Topological Space

created by florifundator

(thing) by florifundator (8.6 y) (print)   ?   (I like it!) Sat Nov 13 1999 at 9:52:47

Nice set theoretic formalization of the concept of convergence to points.
Metric spaces are topological spaces. But to put a metric on a blank topological space, you first have to make it a uniform space and then be lucky that it has a countable basis. Lots of important topological spaces which cannot be endowed with a metric can be found amoung the locally convex vector spaces, e.g. the space of generalized functions from the theory of partial differential equations.

(idea) by haggai (7.8 mon) (print)   ?   (I like it!) 1 C! Fri Apr 14 2000 at 7:35:11

A topological space is a set of points X, and a set O of subsets of X. Elements of O are called open sets. O must satisfy that finite intersections and any unions of open sets are also open sets; the empty set and the entire space, X, must also be open sets. Complements of open sets are called closed sets.

Any metric space defines a topological space by taking the topology of open spheres: for every point x and every positive r, place {y | d(x,y)<r} in O; then add all other necessary sets (all unions of finite intersections of spheres). Many topological spaces are not metrisable (no metric on their set of points yields their topology), but many concepts of metric spaces which rely only on their continuity transfer easily to a topological wording. Replacing the ubiquitous references to "open sphere"s with uses of generalised open sets allows topology to discuss continuous functions even where no metric exists. Topology really only distinguishes topological spaces up to homeomorphism.

Someone should really node some examples of metric spaces.


printable version
chaos

metric space topology Node More Mathematics open set
pointless topology Zariski topology a contracting function in a complete metric space has one fixed point (proof) topological group
Homeomorphism Hausdorff space discontinuous identity map Sorgenfrey line
path connected a compact field is finite uniform space Subspace topology
metrizable filter regular space visible language
Metric closed set set Contractible
Y'know, if you log in, you can write something here, or contact authors directly on the site. Create a New User if you don't already have an account.
  Epicenter
Login
Password

password reminder
register

Everything2 Help

Cool Staff Picks
Nodes to live by:
Starbucks
Finnish proverbs
Palette of King Narmer
Nagasaki
Dizzy and Katyana's Wedding Ceremony
delta
Elephant
The CIA wants YOU!
A House Divided
dichotic gender paradigm
scallop
boolean search
Landsknecht
New Writeups
Alnilamski
Rebel Yell(thing)
Heisenberg
Dahon Speed D7(thing)
etgar
Protection of civil rights in the USA and UK(essay)
archiewood
Airspace classifications(idea)
Ouzo
My first Christmas(event)
TheDeadGuy
Editor Log: August 2008(log)
AspieDad
Tools of the Trade(essay)
Apatrix
Editor Log: August 2008(log)
etouffee
Back where we started(poetry)
NeverLost
I'm never getting drunk again(idea)
Noung
post-racial(idea)
Heitah
Intensive farming(essay)
XWiz
Big Science(review)
Wuukiee
yellow cake batter(recipe)
Pavlovna
Sassenach(person)
This page courtesy of The Everything Development Company