Questions tagged [manifolds-with-boundary]

For questions about manifolds with boundaries, as well as manifolds with corners, and other such generalisations of the notion of a manifold.

Filter by
Sorted by
Tagged with
5
votes
1answer
155 views

Smoothness of the boundary is the only obstruction for being a submanifold with boundary?

Let $M$ be a smooth manifold, and let $S$ be an open smooth submanifold of $N$. Assume the topological boundary of $S$, $\partial S :=\bar S \setminus S$ is a smooth submanifold of codimension 1 in $...
2
votes
1answer
349 views

If a continuous function is locally injective and injective on the boundary, is it injective?

Let $M$ be a compact connected manifold with boundary whose interior has dimension $n\geq 2$. Suppose that we have a map $f:M\rightarrow S^n$ which is continuous and such that the restriction of $f$ ...
0
votes
2answers
78 views

Munkres Problem: Define a $C^{\infty}$ map $f: \mathbb{R}^9 \to \mathbb{R}^6$ such that $O(3)$ is the solution of $f(x)=0$.

On Munkres's book analysis on manifold chap "the boundary of manifold", question 3, says: let $O(3)$ the set of orthogonal matrices, as a subspace of $\mathbb{R}^9$. a) define a $C^{\infty}$ map $f: \...
0
votes
1answer
239 views

If the boundary of an open connected set $\Omega$ of class $C^1$ is bounded $\Rightarrow$ $\Omega$ is bounded?

Let $\Omega \subset \mathbb{R}^N$ be an open set. I know bounded boundary doesn't imply bounded set, but what if we consider the boundary of an open connected set of class $C^1$ (i.e. the boundary $\...
1
vote
0answers
57 views

Clarification for Manifold and Manifold with Boundary Definitions

I am reading Spivak's Calculus on Manifolds, and just need a bit of clarification when it comes to definitions. He defines a manifold as some space $M$ that satisfies: $(M)$: $\forall x \in M, \...
0
votes
2answers
54 views

$(x + y + xy)/2 = f( f^{[-1]}(x) + f^{[-1]}(y) )$

Consider $(x + y + xy)/2 = f( f^{[-1]}(x) + f^{[-1]}(y) )$ Where $f^{[-1}]$ denotes the functional inverse of $f$. How to find $f$ ? How about the more General idea of finding $f$ for a given $g$? ...
2
votes
1answer
173 views

Extending Riemannian Manifold to Boundary

If you have a Riemannian manifold $(M,g)$ (maybe with other assumptions as need), is there a natural way to extend it to a smooth manifold with boundary? For example, the Lobachevsky space viewed as ...
3
votes
2answers
270 views

Compact 3-manifolds with boundary an orientable surface

The usual embedding of the closed orientable surface $M_g$ of genus $g$ in $\mathbb{R}^3$ bounds a compact orientable $3$-manifold which is homotopically equivalent to a bouquet of $g$ circles. If a ...
6
votes
1answer
200 views

Can every Riemmanian Manifold be completed?

I had two trails of though.. is either of them fruitful? I know every metric space can be completed, my question is: can a Riemmanian manifold $M$ be embedded smoothly and isometrically into it's ...
2
votes
1answer
219 views

An orientation on a $(n-1)$-dimensional submanifold.

This question goes on where this question ended. Given is an non-empty $(n-1)$-dimensional ($n\ge2$) differentiable submanifold $X\subset\mathbb{R}^n$ such that there exists an open $U\subset\mathbb{R}...
2
votes
2answers
86 views

Topological boundary of a specific manifold.

Let $\emptyset\neq X\subset\mathbb{R}^n$, $n\ge2$, be an $(n-1)$-dimensional differentiable submanifold, i.e. for every $p\in X$ there is an open $U_p\subset\mathbb{R}^n$ with $p\in U_p$, and a ...
0
votes
1answer
522 views

On the trace theory and restrictions of Sobolev space functions

Consider a connected open bounded subset $D\subset \mathbb{R}^d$ with smooth boundary. It is easier to state for the disc so I will do so. I don't think it would change the argument (except for in our ...
0
votes
1answer
106 views

Is the hemisphere of $S^4$ the unique compact 4-dimensional manifold with $\partial K = S^3$?

The first question is Is the hemisphere of $S^4$ the unique compact 4-dimensional manifold with $\partial K = S^3$? In other words, is it obvious? The question stems from a theoretical physics ...
1
vote
1answer
103 views

$\sin(\frac{1}{x})$ on $\Bbb R^2$ interior, cluster points, boundary

Given $$M:=\{(x_1, x_2) \in \Bbb R^2 : x_2 =\sin(\frac 1 {x_1}), x_1\in(0,\frac 1 \pi)\}$$ , a subset of the normed Space $(\Bbb R^2,||\cdot||_2)$. $M$ is the above Curve. (the commen $\sin(\frac{1}{...
2
votes
1answer
60 views

Topological boundary as a submanifold

Let $U$ be an open subset of a smooth $n$-manifold. Consider $\partial U$ the topological boundary of $U$. Is the following true ? : If $\partial U$ is a smooth $n-1$ submanifold without boundary, ...
1
vote
1answer
57 views

Is $\overline{u^{-1}((-\infty,a))}$ a $C^k$-manifold with boundary for a $C^k$ function $u$?

Let $u\in C^k(\mathbf{R}^d)$, $M:=\overline{u^{-1}((-\infty,a))}=\overline{\{x\in\mathbf{R}^d \mid u(x)<a\}}$, where $a$ is a constant such that $M\neq\emptyset$. Is $M$ a $C^k$-manifold with ...
1
vote
0answers
78 views

Integration over manifold

Let $M$ be a smooth 2-manifold in $\mathbb{R}^3$ such that $$4x^2+y^2+4z^2 = 4, y \ge 0$$ The boundary of $M$ is the set of points where $$x^2 + z^2 = 1, y = 0$$ Let $\alpha(u,v) = (u,2\sqrt{(1-u^2-...
1
vote
0answers
51 views

How to define an atlas on this manifold with boundary?

Consider the set $\mathcal{M} = \{\ \mathbf{x} \in \mathbb{R}^{3}\ | \ 1 \leq ||\mathbf{x}|| \leq 2 \ \}$. This is a $3$-submanifold with boundary. Obviously, we have $\partial \mathcal{M} = \{\ \...
4
votes
0answers
280 views

Induced orientation on manifold

Suppose $M$ is a naturally oriented $n$-manifold embedded in $\mathbb{R}^n$ with non-empty boundary. Give $\partial M$ the induced orientation. The induced orientation defines a unit normal vector ...
1
vote
1answer
108 views

Lenght of the curve in Riemannian metric.

Let $M^{k}$ a submanifold, $h:U\to M^{k}$ a chart, and $\gamma:[a,b]\to h(U)\subset M^{k}$ a curve in $M^{k}$. Represent the curve in coordinates $(h,U)$ as $h^{-1}\circ\gamma(t)=(y^{1}(t),...,y^{k}(t)...
2
votes
0answers
68 views

Show that a given set is a manifold with boundary

given $A:= \{ (x_1,x_2,x_3) \in \mathbb{R} : x_1^2 + x_2^2 + x_3^2 = 18, x_3 \leq 2\}$ show that $A$ is a manifold with boundary and calculate $ \delta A$ where $\delta A$ is the boundary of A. I ...
3
votes
1answer
313 views

A singular $n-$cube and a circumference defined the border than 2-cube

This is an exercise from "Calculus on Manifolds" by Michel Spivack (first edition, p.100): If $c$ is a singular $1$-cube in $\mathbb{R}^2-\{0\}$, with $c(0)=c(1)$, show that there is an integer $n$...
3
votes
0answers
82 views

A $k+1$ Manifold whose boundary is the solution set to the equation $f(\vec{x})=\vec{0}$

Let $f: \mathbb{R}^{n+k} \to \mathbb{R}^n$ be of class $C^r$. Let $f_1, ..., f_n$ be components of $f$. Define $$M=\{\vec{x} | f(\vec{x})=\vec{0}\},$$ $$N=\{\vec{x} | f_1(\vec{x})=0, ..., f_{n-1}(\...
10
votes
0answers
193 views

Codimension $1$ Embedding into $\mathbb{R}^{n+1}$

I am trying to determine which homotopy types can be realized by $n$-manifolds that have codimension one embeddings into $\mathbb{R}^{n+1}$. Suppose I have $X^n \subset \mathbb{R}^{n+1}$ and an ...
3
votes
2answers
108 views

Are $\mathbb{C}^2$ and $\mathbb{C}^2/(x,y)\sim(y,x)$ homeomorphic?

Let $A$ be the set of monic quadratics over $\mathbb C$ and let $B$ be the set of unordered pairs over $\mathbb C$ where possibly the two elements of the pair may be the same. Then the map which takes ...
2
votes
1answer
42 views

In finding boundary of the product of two half-lines, shall homeomorphism be global?

Lets $ \mathbb{R_{+}^{n}} = \mathbb{R^{n-1}} \times [0;+\infty[ $ Basically in my course I have this statement within the definition of a manifold with boundary: $ \forall x \in M, \exists U_x $ an ...
1
vote
0answers
46 views

Show that $\partial(M\times N)=M\times\partial(N)$

Let M a $k$-dimensional manifold without boundary of $\mathbb{R}^{n}$ and N a $l$-dimensional manifold of $\mathbb{R}^{m}$ with or withour boundary. Show that $\partial(M\times N)=M\times\partial(N)$ ...
3
votes
1answer
289 views

Are there Kirby diagrams for manifolds with boundaries?

There are Kirby diagrams for 3- and 4-manifolds which consist of framed links corresponding to 1- and 2-handles attached to a single 0-handle. Any such diagram will give a unique closed manifold since ...
4
votes
1answer
196 views

Open neighborhood of a manifold boundary point

Manifold with boundary: An $n$-dimensional manifold with boundary is a second countable Hausdorff space in which every point has a neighborhood homeomorphic either to an open subset of $\mathbb{R^n}...
3
votes
1answer
339 views

The corner of the squre

A square is a topological manifold with boundary but not a smooth manifold with boundary because of its corners. But I am confused about it. I think since for a specific corner $p$, there is only one ...
2
votes
1answer
134 views

Topological Manifold is Manifold with Empty Boundary

I want to show that every $n$ topological manifold $M$ is an $n$ Manifold with boundary where $\partial M=\emptyset$. i.e. every chart $(U,\phi)$ maps to an open set $V\subseteq\mathbb{H}^{n\circ}$ (...
0
votes
1answer
25 views

The nature of components in a certain manifold

Let $N$ be a smooth, connected manifold and $f:N \to \mathbb R$ a smooth, proper and surjective map, transverse to some $k \in \mathbb N$. This means that $M:=f^{-1}(k) \subset N$ is a finite ...
0
votes
1answer
42 views

Tangent vectors in $T_p\partial M$

I know that if $M$ is a smooth $n$-dimensional manifold with boundary, then $\partial M$ is a smooth $(n-1)$-dimensional manifold. So for $p\in\partial M$, we have $T_p\partial M\cong\mathbb{R}^{n-1}\...
1
vote
1answer
53 views

Computing parametrizations for a differentiable $2$-manifold with boundary

Consider the following subset of $\mathbb{R}^{3}$ \begin{equation} C=\{(x,y,z)\in\mathbb{R}^{3}\:|\:0\leq x\leq 1,\:0\leq y\leq 1,\:z=x^{2}+y^{2} \}. \end{equation} Intuitively, this looks like a ...
2
votes
2answers
1k views

Topological Boundary vs Manifold Boundary

Let $A$ be the open unit disc in $\mathbb{R}^2$ and $B$ be the closed unit disc in $\mathbb{R}^2$. The toplogical boundary of $A$ and $B$ is $S^1$. This I understand. The manifold boundary of $A$ ...
0
votes
0answers
32 views

About the number of minimum parametrizations of a $1$-smooth manifold compact w/ boundary in $\mathbb{R}^{3}$

Let $C$ be a $1$-dimensional compact differentiable manifold with boundary in $\mathbb{R}^{3}$. In easy examples, it looks like we can always parametrize such a manifold with only two charts: usually ...
4
votes
1answer
297 views

Universal cover of boundary

Let $M$ be a compact manifold-with-boundary and $B$ a component of $\partial M$. Let $\tilde{M}$ be the univeral cover of $M$ with infinite-sheeted covering map $p:\tilde{M} \to M$. I wonder about the ...
0
votes
0answers
23 views

property of sum of coefs of a chain

Suppose c is a k+1 chain in U(open set in space R^n), then boundary of c (a k chain) can be expressed as a linear combination of k-cubes, using boundary operator: $$∂c=∑_ia_ic_i$$, where a_i are the ...
1
vote
1answer
31 views

How to qualify a N dimensional manifold as Compact under following condions?

Suppose a manifold of N dimensions is closed and bounded in a dimension but it remained unbounded in all other dimensions, so how to categorize the manifold. For example, in simpler form how to ...
2
votes
3answers
79 views

Is there any shorter term for manifolds with boundary?

The “with boundary” does get a bit unwieldy when you have to write it more than a couple of times. I can't seem to find any alternative term on Wikipedia or elsewhere, but surely someone ...
1
vote
1answer
61 views

Reference on manifolds with boundary

I am here because I want to know if someone knows of some good e fast books or references about manifolds with boundary. Help me please.
0
votes
0answers
75 views

Charts in an oriented manifold with boundary

Let $M$ be an oriented manifold (with boundary) with $dim (M)\ge 2$. Show that there exists an atlas $\{(U_{\alpha},\phi_\alpha)\}_{\alpha\in I}$ for the chosen orientation such that $\forall\...
2
votes
1answer
289 views

Tangent space of manifold has two unit vectors orthogonal to tangent space of its boundary

I'm reading spivak calculus on manifolds and got stuck. Let M be a k-dimensional manifold with boundary in $\mathbb{R^{n}}$, and $M_{x}$ is the tangent space of M at x with dimension k, then $\partial ...
6
votes
0answers
310 views

Integration by parts on manifold with a boundary

Suppose $C$ is a 3-form, and $G$ is a 4-form defined by $G = dC$. Also, $M_{11}$ is an 11-dimensional manifold (without a boundary), $W_{6}$ is a 6-dimensional submanifold of $M_{11}$ and $D_{\epsilon}...
11
votes
1answer
471 views

Is the square pyramid a manifold with corners?

An n-manifold with corners is topologically an n-manifold with boundary, but with a smooth structure that makes it locally diffeomorphic to $[0,\infty)^n$ instead of $[0,\infty) \times \mathbb{R}^{n-1}...
0
votes
0answers
89 views

Reference for theorems in Hirsch

In Hirsch's differential topology, we find the following theorems on page 31: 4.1 Theorem: Let $M$ be a $C^r$ $\partial$-manifold and $N$ a $C^r$ manifold, $r \geq 1$. Let $f : M \to N$ be a $C^r$ ...
1
vote
1answer
453 views

Basic examples topological manifolds with boundary

I've just started to study differential geometry and I've some problems with the first definitions. We have defined a topological manifold with boundary of dimension n as a topological space $M$ such ...
0
votes
1answer
157 views

When do we call the boundary $\partial\Omega$ of a bounded domain $\Omega\subseteq\mathbb{R}^n$ smooth?

When do we call the boundary $\partial\Omega$ of a bounded domain $\Omega\subseteq\mathbb{R}^n$ smooth? I can't find a formal definition. I know, that we say, that $\partial\Omega$ has a $C^k$-...
1
vote
0answers
161 views

Closure of a Manifold is a Manifold with Corners?

Is there a general theorem that shows that if you have a manifold $S$ then its closure $\overline{S}$ is a manifold with corners? I am dealing with a specific set $S$ (I would rather not say which ...
5
votes
0answers
377 views

Stokes' theorem: Induced orientation on the boundary of a manifold

The Question Let $K = \{(x,y,z) \in \mathbb{R}^3 : x^2 + y^2 + z^2 \geq 1\}$, where $K$ is oriented via the canonical volume form on $\mathbb{R}^3$: $dx \wedge dy \wedge dz$. Let $\mathbb{S}^2$ be ...