Exact meaning of a local base at zero in a topological vector space...


by AxiomOfChoice
Tags: base, exact, local, meaning, space, topological, vector
AxiomOfChoice
AxiomOfChoice is offline
#1
Mar18-11, 02:04 PM
P: 524
I am confused as to exactly what a local base at zero (l.b.z.) tells us about a topology. The definition given in Rudin is the following: "An l.b.z. is a collection G of open sets containing zero such that if O is any open set containing zero, there is an element of G contained in O". Ok, great.

But I have seen some proofs in my functional analysis class that suggest something like the following: Any open set in the topology can be formed by taking unions (possibly uncountable) of *translations* of sets in a l.b.z. Is this true, or am I just missing something?
Phys.Org News Partner Science news on Phys.org
Internet co-creator Cerf debunks 'myth' that US runs it
Astronomical forensics uncover planetary disks in Hubble archive
Solar-powered two-seat Sunseeker airplane has progress report
micromass
micromass is offline
#2
Mar18-11, 02:08 PM
Mentor
micromass's Avatar
P: 16,703
Yes, the two are equivalent!

Basically, take an open set G in the topology. If a is in G, then G-a contains 0, thus we can find an element V_A of the lbz, such that [tex]V\subseteq G-a[/tex]. Thus [tex]a+V[/tex] contains a and is smaller than G. Now, we can write G as

[tex]G=\bigcup_{a\in G}{a+V_a}[/tex]

Thus we have written G as union of translations of the lbz...
AxiomOfChoice
AxiomOfChoice is offline
#3
Mar18-11, 02:11 PM
P: 524
Quote Quote by micromass View Post
Yes, the two are equivalent!
Great, thanks! Now that I know that, I'm going to try to work out a proof. But is this discussed in Rudin, or on the web, somewhere in case I get stuck?

micromass
micromass is offline
#4
Mar18-11, 02:14 PM
Mentor
micromass's Avatar
P: 16,703

Exact meaning of a local base at zero in a topological vector space...


Sorry I posted too fast. I was going to include a proof. I've edited my post 1 with the proof...
Landau
Landau is offline
#5
Mar18-11, 03:44 PM
Sci Advisor
P: 905
You are already familiar with a neighbourhood base in any topogical space.

Now, the topology on a t.v.s. (or a topological group for that matter) is translation-invariant. This is because "translation by a fixed g"
[itex]T_g:x\mapsto x+g[/itex]
is a homeomorphism (which is because addition is by definition continuous, and T_g is obviously invertible). So it suffices to consider the neighborhood base of any point, in particular 0.


Register to reply

Related Discussions
Topological space, Euclidean space, and metric space: what are the difference? Calculus & Beyond Homework 9
meaning of the word topological Special & General Relativity 2
Is this a legitimate definition for an "absorbing set" in a topological vector space? Calculus 2
what is the meaning of topological black holes? Special & General Relativity 2
Converting a vector from world space to local space Classical Physics 0