You are here
Home ›topology induced by uniform structure
Primary tabs
topology induced by uniform structure
Let be a uniform structure on a set . We define a subset to be open if and only if for each there exists an entourage such that whenever , then .
Clearly, the subsets and are open. If and are two open sets, then for each , there exist an entourage such that, whenever , then , and an entourage such that, whenever , then . Consider the entourage : whenever , then , hence is open.
Suppose is an arbitrary family of open subsets. For each , there exists such that . Let be the entourage whose existence is granted by the definition of open set. We have that whenever , then ; hence , which concludes the proof.
Defines:
uniform topology
Related:
UniformNeighborhood
Major Section:
Reference
Type of Math Object:
Derivation
Parent:
Mathematics Subject Classification
54E15 Uniform structures and generalizations- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)
- Other useful stuff
Recent Activity
May 20
new question: Taylor's Series Query! by Bruce Lee
new question: Laplace transform by J
new question: Residue Calculus by J
May 19
new Education: Project: PlanetMath Outlines Series by unlord
May 17
new image: sinx_approx.png by jeremyboden
new image: approximation_to_sinx by jeremyboden
new image: approximation_to_sinx by jeremyboden
new question: Solving the word problem for isomorphic groups by unlord
new image: LineDiagrams.jpg by m759
new image: ProjPoints.jpg by m759
new question: Taylor's Series Query! by Bruce Lee
new question: Laplace transform by J
new question: Residue Calculus by J
May 19
new Education: Project: PlanetMath Outlines Series by unlord
May 17
new image: sinx_approx.png by jeremyboden
new image: approximation_to_sinx by jeremyboden
new image: approximation_to_sinx by jeremyboden
new question: Solving the word problem for isomorphic groups by unlord
new image: LineDiagrams.jpg by m759
new image: ProjPoints.jpg by m759


