MHB Another question on Open and Closed in V .... D&K Proposition 1.2.17 .... ....

  • Thread starter Thread starter Math Amateur
  • Start date Start date
  • Tags Tags
    Closed
Math Amateur
Gold Member
MHB
Messages
3,920
Reaction score
48
I am reading "Multidimensional Real Analysis I: Differentiation" by J. J. Duistermaat and J. A. C. Kolk ...

I am focused on Chapter 1: Continuity ... ...

I need help with another aspect of the proof of Proposition 1.2.17 ... ...

Duistermaat and Kolk's Proposition 1.2.17 and the preceding definition (regarding open and closed sets in a set V) read as follows:
View attachment 7735
View attachment 7736D&K write that the proof of (i) is immediate from the definitions ... but I have been unable to formulate a rigorous proof of (i) ... could someone please demonstrate a rigorous proof of (i) ... ...Hope that someone can help ...

Peter========================================================================================
D&K's definitions and early results on open and closed sets may be helpful to MHB members reading and following the above post ... so I am providing the same ... as follows:View attachment 7737
View attachment 7738Hope that helps ... ...

Peter
 
Last edited:
Physics news on Phys.org
Hi, Peter.

Suppose $A$ is open in $V$. By Definition 1.2.16 there is an open subset, say U, of $\mathbb{R}^{n}$ such that $A=V\cap U.$ Since both $U$ and $V$ are open in $\mathbb{R}^{n}$ and finite intersections of open sets are open, $A$ is open in $\mathbb{R}^{n}.$

If $A$ is open in $\mathbb{R}^{n}$, then it is open in $V$ because $A=V\cap A$ (since $A\subseteq V$).
 
GJA said:
Hi, Peter.

Suppose $A$ is open in $V$. By Definition 1.2.16 there is an open subset, say U, of $\mathbb{R}^{n}$ such that $A=V\cap U.$ Since both $U$ and $V$ are open in $\mathbb{R}^{n}$ and finite intersections of open sets are open, $A$ is open in $\mathbb{R}^{n}.$

If $A$ is open in $\mathbb{R}^{n}$, then it is open in $V$ because $A=V\cap A$ (since $A\subseteq V$).
THanks GJA ... appreciate the help ...

Peter
 
A sphere as topological manifold can be defined by gluing together the boundary of two disk. Basically one starts assigning each disk the subspace topology from ##\mathbb R^2## and then taking the quotient topology obtained by gluing their boundaries. Starting from the above definition of 2-sphere as topological manifold, shows that it is homeomorphic to the "embedded" sphere understood as subset of ##\mathbb R^3## in the subspace topology.
Back
Top