Register to reply

Relationship between seminormed, normed, spaces and Kolmogrov top. spaces

Share this thread:
Jan15-13, 06:42 PM
P: 30
I am having trouble with a result in my text left as an exercise.

Let (X, τ) be a semi-normed topological space:

norm(0) = 0
norm(a * x) = abs(a) * norm(x)
norm( x + y) <= norm(x) + norm(y)

My text states that X is a normed vector space if and only if X is Kolmogrov. It claims it to be trivial and leaves it as an exercise. I'm able to get one direction, but I'm not very happy with it.

(=> direction)

Assume X is normed, let x,y be in X, such that x != y.

Then d(x,y) > 0. I am tempted to use an open ball argument, claiming that there exists an open ball about x which cannot contain y, but then how do I relate this notion of open balls in a metric space to the open set required by the Kolmogrov (distinguishable) condition?


In terms of the other direction, I am entirely lost (Kolmogrov and semi-normed imples normed).

Can anyone provide some insight, I just took a course in Real Analysis last semester and I did quite well, and I'm having trouble generalizing my insights now to topological spaces. With the semi-normed space we lose discernability, and I have a hunch that the Kolmogrov condition patches that problem, but I just can't get there.
Phys.Org News Partner Science news on
Scientists discover RNA modifications in some unexpected places
Scientists discover tropical tree microbiome in Panama
'Squid skin' metamaterials project yields vivid color display
Jan22-13, 05:39 AM
P: 424
For the => direction you are on the right track. You want an open ball B with center x, but with radius small enough that y is not in B. d(x,y) seems to be the only number you have to work with so try choosing a radius based on that. If you can find a radius such that y is not in B, then you are done because open balls are open sets.

In the other direction you wish to show [itex]\|x\| = 0[/itex] implies x=0. Suppose [itex]x \not= 0[/itex], then by the Kolmogorov condition you can find an open neighborhood U of either x or 0 which does not contain the other. Try to use this to find a radius r such that B(x,r) or B(0,r) is contained in U, in which case you can show [itex]\|x\|\not=0[/itex].

EDIT: Here B(p,r) means the open ball with center p and radius r.
Jan28-13, 05:11 PM
P: 30
Thank you for your reply.

Register to reply

Related Discussions
Question about Normed Linear Spaces Calculus & Beyond Homework 2
Compact operators on normed spaces... Calculus 2
Isometrically isomorphic normed spaces Calculus & Beyond Homework 3
Closed set, normed spaces Calculus & Beyond Homework 2
Normed Vector Spaces Calculus & Beyond Homework 2