PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Medium Entry average rating: No information on entry rating
[parent] example of an Alexandroff space which cannot be turned into a topological group (Example)

Let $\mathbb{R}$ denote the set of real numbers and $\tau=\{[a,\infty)\ |\ a\in\mathbb{R}\}\cup\{(b,\infty)\ |\ b\in\mathbb{R}\}$ One can easily verify that $(\mathbb{R},\tau)$ is an Alexandroff space.

Proposition. The Alexandroff space $(\mathbb{R},\tau)$ cannot be turned into a topological group.

Proof. Assume that $\mathbb{R}=(\mathbb{R},\tau, \circ)$ is a topological group. It is well known that this implies that there is $H\subseteq\mathbb{R}$ which is open, normal subgroup of $\mathbb{R}$ This subgroup ,,generates'' the topology (see the parent object for more details). Thus $H\neq\mathbb{R}$ because $\tau$ is not antidiscrete. Let $g\in\mathbb{R}$ such that $g\not\in H$ (and thus $gH\cap H=\emptyset$ . Then $gH$ is again open (because the mapping $f(x)=g\circ x$ is a homeomorphism). But since both $H$ and $gH$ are open, then $gH\cap H\neq\emptyset$ Indeed, every two open subsets in $\tau$ have nonempty intersection. Contradiction, because diffrent cosets are disjoint. $\square$



"example of an Alexandroff space which cannot be turned into a topological group" is owned by joking.
(view preamble | get metadata)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: disjoint, cosets, contradiction, intersection, open subsets, homeomorphism, mapping, object, parent, topology, generates, subgroup, normal subgroup, open, implies, topological group, proposition, Alexandroff space, real numbers

This is version 1 of example of an Alexandroff space which cannot be turned into a topological group, born on 2009-01-23.
Object id is 11543, canonical name is ExampleOfAnAlexandroffSpaceWhichCannotBeTurnedIntoATopologicalGroup.
Accessed 295 times total.

Classification:
AMS MSC22A05 (Topological groups, Lie groups :: Topological and differentiable algebraic systems :: Structure of general topological groups)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)