Thursday 27 February 2014

general topology - Finite union of $k$-dimensional rectangles




Definition



If a set $A\subset\mathbb{R}^k$ satisfying $B\subset A\subset\overline{B}$, then we call $A$ a $k$-dimensional standard rectangle.





Here $B$ is an open $k$-dimensional rectangle, that's to say,



$$B=(a_1,b_1)\times(a_2,b_2)\times\cdots\times(a_k,b_k)$$
We can see



$$\overline{B}=[a_1,b_1]\times[a_2,b_2]\times\cdots\times[a_k,b_k]$$



Using my topology knowledge, I have proved that for a $k$-dimensional standard rectangle $A$, we have $\operatorname{Int}\,\overline{A}=\operatorname{Int}\,A$, and $\overline{\operatorname{Int}\,A}=\overline{A}$.



But if we let $P$ be a finite union of some $k$-dimensional standard rectangles, (I call it a "simple figure") I can only prove $\overline{\operatorname{Int}\,P}=\overline{P}$.




Question: I believe that $\operatorname{Int}\,\overline{P}=\operatorname{Int}\,P$ (or $\partial\overline{P}=\partial P$) is also correct, but I cannot give a strict proof. Any help would be appreciated.


Answer



That is actually untrue. Let us work in $\mathbb {R} $. Take $ P = ]0,1 [ \cup ]1,2 [$. This clearly is a union of open rectangles. Clearly, $\overline{P} = [0,2]$. Thus, $ {Int}\overline {P} = ]0,2 [ \ \neq ]0,1 [ \cup ]1,2 [ = {Int} P $.


No comments:

Post a Comment

real analysis - How to find $lim_{hrightarrow 0}frac{sin(ha)}{h}$

How to find $\lim_{h\rightarrow 0}\frac{\sin(ha)}{h}$ without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...