Register to reply 
Functional Analysis: Open normed subspace 
Share this thread: 
#1
Feb1412, 03:35 PM

P: 209

Is an open normed subspace Y (subset of X) primarily defined as a set {y in X : Norm(y) < r}? Where r is some real (positive) number.
I know the open ball definitions and such.... but it seems like this definition is saying, an open normed space, is essentially an open ball which satisfies the criteria of a normed vector space. I don't like this definition, as given a vector, say g, whose norm is arbitrarily close to r, we can always double the vector, as 2*g. The norm is greater than r so it can't be included in Y, yet it should be included in Y as a subspace must be closed under scalar multiplication (and vector addition). However, in "Linear Functional Analysis" by Bryan Rynne and Martin Youngson, we are asked first to prove a) If there is n > 0 such that {y in X: norm(y) < n} subset of Y, show that nx/(2*norm(x)) is in Y. This is easy to show. b)If Y is open, then Y=X. The problem I have is with the solution in the back of the book.... Let x be in X. As Y is open there exists n > 0 such that {y in X: norm(y) < n} subset of Y. Hence, nx/(2*norm(x)) by part (a). As a scalar multiple of a vector in Y is also in Y, we have that x = (2norm(x)/n )(nx/(2*norm(x))) is in Y.... therefore, X is a subset of Y. And Y is a subset of X (by definition)... therefore X=Y. The part I don't understand is why we need Y to be open to have n > 0 s.t. {y in X: norm(y) < n} contained in Y. After that, everything is obvious..... Y ISNT defined as that "open ball" as I say at the beginning: "Is an open normed subspace Y (subset of X) primarily defined as a set {y in X : Norm(y) < r}? Where r is some real (positive) number." .... but I don't see how to make sense of it all. Thanks in advance 


#2
Feb1412, 03:49 PM

Mentor
P: 18,062

All depends on how you define an open set. 


#3
Feb1412, 04:15 PM

P: 209




#4
Feb1412, 04:28 PM

Sci Advisor
HW Helper
P: 2,020

Functional Analysis: Open normed subspace
"Y is open" means that around each point of Y there is an open ball (of some radius) contained entirely within Y. This is NOT the same as Y being an open ball. For example the upper halfplane is an open subset of R^2 (but of course isn't a vector subspace). Is it an open ball?
The solution is merely taking an open ball around 0. (Since Y is a subspace, it contains 0. And because Y is open, it contains an open ball around 0.) 


#5
Feb1412, 04:34 PM

P: 209

Sorry 


#6
Feb1412, 04:49 PM

Sci Advisor
HW Helper
P: 2,020

What exactly are you asking?
Are you asking "why is an open subspace Y of a normed space X necessarily equal to X"? This is because an open subspace will contain a ball around 0, hence vectors "pointing in all directions", and therefore (by scaling) it must be the entire space. More rigorously, given an x in X, we can find some nonzero scalar k such that kx is in a given open ball around 0 (k could potentially be very small). But if we do this to get kx inside the open ball about 0 contained in Y, then we'd in particular get that kx is in Y, and therefore that x=1/k(kx) is in Y as well. Or are you really asking "why does Y need to be open to be have an open ball of radius n"? The answer is of course it doesn't! For example, in R^2, the closed upper halfplane {(x,y)  y >= 0} isn't open (why not?) but certainly contains many open balls. (By contrast, look at the set Z^2 of points in R^2 with integer coordinates. This set doesn't contain a single open ball.) However, if a set is open, then it HAS to contain an open ball around each of its points. (Note that the closed halfplane above doesn't contain an open ball around any point on the xaxis.) In particular, if you have an open subspace Y, then it must contain a ball around each of its points, i.e. given y in Y, we can find an r>0 such that the ball [itex]\{ x \in X \mid \xy\< r \}[/itex] is fully contained in Y. In particular, we can find such a ball centered at y=0... 


#7
Feb1412, 04:55 PM

P: 209

Thanks... that makes sense ^_^ 


Register to reply 
Related Discussions  
(n1)dimensional subspace is the null space of a linear functional  Linear & Abstract Algebra  2  
An open mapping is not necessarily a closed mapping in functional analysis  Calculus  4  
Topology: is this an open cover of an unbounded subspace of a metric space?  Calculus & Beyond Homework  2  
Subspace of Normed Vector Space  Calculus  3  
Open subspace of a compact space  Differential Geometry  7 