AxiomOfChoice
- 531
- 1
In Rudin's book Functional Analysis, he makes the following claim about the interior [itex]A^\circ[/itex] of a subset [itex]A[/itex] of a topological vector space [itex]X[/itex]: If [itex]0 < |\alpha| \leq 1[/itex] for [itex]\alpha \in \mathbb C[/itex], it follows that
[tex] \alpha A^\circ = (\alpha A)^\circ,[/tex]
since scalar multiplicaiton (the mapping [itex]f_\alpha: X \to X[/itex] given by [itex]f_\alpha(x) = \alpha x[/itex]) is a homeomorphism; that is, a 1-to-1 continuous mapping.
This is the first time I've ever confronted the term "homeomorphism," and I have no idea how I can deduce the above observation about interiors given this hypothesis. Can someone help? (This is not a HW problem; it's a point in our notes that is confusing me.)
[tex] \alpha A^\circ = (\alpha A)^\circ,[/tex]
since scalar multiplicaiton (the mapping [itex]f_\alpha: X \to X[/itex] given by [itex]f_\alpha(x) = \alpha x[/itex]) is a homeomorphism; that is, a 1-to-1 continuous mapping.
This is the first time I've ever confronted the term "homeomorphism," and I have no idea how I can deduce the above observation about interiors given this hypothesis. Can someone help? (This is not a HW problem; it's a point in our notes that is confusing me.)