For questions on manifolds of dimension $n$, a topological space that near each point resembles $n$-dimensional Euclidean space.

learn more… | top users | synonyms (1)

4
votes
0answers
27 views

What does it mean for a function f to be C^k “close” to a function g?

My impression is that $f$ is $C^k$ "close" to $g$ if $f$ is close to $g$, $f'$ is close to $g'$, ... $f^{(k)}$ is close to $g^{(k)}$. However, my professor is being a bit nebulous on what "close" ...
2
votes
1answer
40 views

Explaining problem in Gadea's “Analysis and Algebra on Differentiable Manifolds”

I have a lot of trouble trying to explain to myself what the author did in problem 1.102 (the answer is in the link): Let $TM$ be the tangent bundle over a differentiable manifold $M$. Let ...
1
vote
1answer
34 views

Codifferential and corresponding homology theory

This is the kind of a natural question which can come to mind after completing the standard course in differential geometry and homology theory: lety us start with a smooth manifold $M$. One can ...
4
votes
1answer
46 views

Nonorientable manifolds being a boundaries

I will say that a manifold (smooth, compact, without boundary) is itself boundary if there is some smooth compact manifold $W$ with boundary, such that $M=\partial W$. I'm interested in nontrivial ...
0
votes
1answer
49 views

Meaning of conditions on definition of topological manifold

This is my first time to study on the manifold. I've studied that the topological manifold is: Hausdorff, locally homeomorphic to Euclidean space, and second countable topological space. With ...
7
votes
1answer
44 views

Grassmanians and boudaries of manifolds

Let $M$ be a smooth, compact manifold without boundary. I will say that $M$ is a boundary when there is a smooth, compact manifold with boundary $W$ such that $\partial W=M$. After some lectures I ...
5
votes
1answer
37 views

G-P Exercise, immersion except at origin, what does its image look like?

(This is not a duplicate of another question on math.stackexchange, as that other question just basically asks for the answer to the question below, of which I have provided an answer to. My question ...
2
votes
0answers
21 views

Can the same surface have minimal genus in both a 3-manifold and a 4-manifold?

By a surface of minimal genus I mean in it's homology class: A surface $S_0$ embedded in a smooth manifold $M$ such that any other surface $S$ with $[S]=[S_0]\in H_2(M)$, we have $g(S)\geq g(S_0)$. ...
3
votes
1answer
42 views

Find a surface that has positive constant curvature that is not open subset of sphere

Can some one find a surface that has positive constant curvature that is not open subset of sphere. I know every connected and compact surface with positive constant curvature is sphere. I need ...
5
votes
1answer
86 views

Reference request: infinite-dimensional manifolds

The following books and/or notes develop various aspects of the theory of infinite-dimensional manifolds: Lang, Fundamentals of Differential Geometry. Kriegl & Michor, The Convenient Setting of ...
6
votes
1answer
41 views

First exercise of Guillemin-Pollack. [closed]

If $k < l$ we can consider $\mathbb{R}^k$ to be the subset $\{(a_1, \dots, a_k, 0, \dots, 0)\}$ in $\mathbb{R}^l$. Show that smooth functions on $\mathbb{R}^k$, considered as a subset of ...
0
votes
0answers
22 views

Area between two curves as manifold with boundary

Let $U \subset \mathbb{R}^n$ be open set, $F,G:U \to \mathbb{R}$ smooth function such that $F(x)<G(x)$. We define: $$\Omega=\{(x,y) \in U \times \mathbb{R}:G(x) \leq y \leq F(x)\}$$ I would like ...
1
vote
1answer
27 views

Boundary of a topological manifold invariant?

Let $M=(X,\tau)$ be a topological manifold with boundary. One can proof that the interior $Int(M)$ and boundary $\partial M$ of the manifold are distinct sets. I was wondering if someone knows a ...
0
votes
0answers
22 views

global manifolds

Can you also explain why the global stable manifold is the union of the flow of the local stable manifolds for t < 0? Why do we not include all t?
2
votes
1answer
49 views

Let $M\subseteq \mathbb{R}^k$: Manifold topology vs. trace topology

I'm confused about the topology of submanifolds of $\mathbb{R}^n$: Let $M$ be such a $k$-manifold (say, the circle $S^1$, of dimension $1$, embedded in say $\mathbb{R}^7$); the topology of such a ...
0
votes
0answers
22 views

About a map between two topological manifolds with different dimensions

Let $M_1$ be a $n$-dimensional topological manifold and let $M_2$ be a $m$-dimensional topological manifold, such that $m>n$. Moreover, let $U\subset M_1$ be an open set and let $f:U\rightarrow ...
2
votes
0answers
40 views

What can I say of an $m$-dimensional submanifold $S$ of an $m$-dimensional manifold $M$?

I consider a differentiable manifold $M$ of dimension $m$. Let be $S$ a submanifold of $M$ of the same dimension $m$. What can I say about $S$? I have tried to prove that $S$ is open but I get ...
0
votes
0answers
42 views

how to prove torus as a 2 dimensional manifold

Consider equation of torus in 3 dimension $(R-\sqrt{(x^2+y^2)})^2+z^2 = r^2$ where $R$ is larger radius and $r$ is smaller radius. how to prove that it is 2 dimensional manifold? I tried ...
2
votes
1answer
37 views

Prove that $X=\{(x,y,z,t) | x^2+6y^2+4z^2+t^2=1 \}$ is compact and connected

Let be $X=\{(x,y,z,t) | x^2+6y^2+4z^2+t^2=1 \}$. I have proved that $X$ is a submanifold of $\mathbb{R}^4$ of dimension $3$. I have to prove that $X$ is compact and connected. My idea, thinking of ...
3
votes
1answer
48 views

Integration with 2-forms

Wikipedia says: Let $$ \omega=f_{z}\, \mathrm dx \wedge \mathrm dy + f_{x}\, \mathrm dy \wedge \mathrm dz + f_{y}\, \mathrm dz \wedge \mathrm dx $$ be a 2-form on a surface with parametrization ...
1
vote
1answer
50 views

Quotiented manifold homeomorphic to a complex projective space?

I define an action on $\mathbb{C}-0 × \mathbb{C^2}-(0,0)$ by $(x,y,z) \mapsto ((1/a)x,ay,az)$ when $a$ is a non zero complex number, I get a manifold by quotienting. Taking element from this ...
2
votes
0answers
45 views

What is a real structure on a manifold?

I have been looking at manifolds (twistor spaces) that have a "real structure". I am not quite sure what this means. I've looked on Wikipedia and they have an article that explains real structures on ...
1
vote
1answer
32 views

Prove that $\mathbb{R}^2 \times S^1 $ and $M=\left\lbrace (x,y,z,w) \in \mathbb{R}^4 \mid x^2+y^2- z^2-w^2 = 1 \right\rbrace$ are diffeomorphic

Let be $M= \left\lbrace (x,y,z,w) \in \mathbb{R}^4 \mid x^2+y^2- z^2-w^2 = 1 \right\rbrace$. I have proved that $M$ is a embedded submanifold of $\mathbb{R}^4 $ of dimension $3$. I have now to ...
9
votes
2answers
72 views

Properties of the category of smooth vector bundles over a smooth manifold

I am wondering if there are any sources that discuss the properties of the category of vector bundles over a smooth manifold. It seems that most differential geometry texts I've looked at avoid ...
3
votes
1answer
108 views

How could a group be a manifold?

For example a Lie group is defined as a certain differentiable manifold, but what does this mean geometrically, and what is gained by viewing something abstract and algebraic as a manifold? First, I ...
2
votes
1answer
93 views

Is $S^1 \times S^1$ really a torus?

Consider a function $f(x)$ that is $2\pi$ periodic. Consider another function $g(y)$ that is also $2\pi$ periodic. If I wanted to compute the integral of either of these functions I would do so ...
1
vote
1answer
43 views

Retraction to the Boundary on Compact Manifold

I was given the following question on an exam today, "Suppose that $M$ is a compact $n$- dimensional oriented manifold with corners. A retraction to the boundary is a continuously differentiable map ...
0
votes
2answers
31 views

Properties of the ring of smooth function germs, question on proof.

Let us denote by $C_n$ the ring of $C^{\infty}$ smooth function germs $f : (\mathbb R^n, 0) \to \mathbb R$ or the ring of analytic functions germs $f : (\mathbb C^n, 0) \to \mathbb C$. Denote by ...
0
votes
0answers
54 views

An example of 4D Hypersurface in 3D

Number of combinations of 4 dimensions choosing 3 at a time is 4. Someone please give a description of a most elementary 4 Dimensional Hyper surface which has its four 3D intersections with ...
1
vote
1answer
64 views

Is $C = \{(x,y) \mid x^3 + xy + y^3 = c \} \subset \mathbb{R}^2$ an embedded submanifold of $\mathbb{R}^2$?

The problem As a continuation of this question (where it was shown that $C$ was a closed $1$-dimensional submanifold for $c \neq 1/27$), I'm trying to find out whether or not $$C = \{(x,y) \mid x^3 + ...
2
votes
1answer
38 views

Mean value theorem on Riemannian manifold?

Is there some generalisation of the classical mean value theorem for real-valued functions on an interval $$|f(x)-f(y)| \leq |\nabla f(c)||x-y|$$ for some $c$ between $(x,y)$ to the case where $f:M ...
5
votes
1answer
80 views

Linear algebra revisited: What do we do when we set a coordinate system?

I was learning about covariant and contravariant vectors due to special relativity, and it occured to me that we don't live in $\mathbb{R}^4$. I'll explain myself better. Consider the space of ...
2
votes
1answer
34 views

Adjoint representation and tangent vectors

Let $G$ be a Lie group, $\mathfrak{g}$ its Lie algebra, $\text{Ad}:G\rightarrow GL(\mathfrak{g})$ the adjoint representation of $G$. Then, for $X,Y\in \mathfrak{g}$, \begin{align*} ...
3
votes
1answer
54 views

Area form a differential form?

I just read that $\omega_x( \eta, \zeta) := \langle x, \eta \times \zeta \rangle $ is the area form on the sphere, where $x \in \mathbb{S}^2$ and $\eta,\zeta \in T_xM.$ All I see is that this is ...
0
votes
1answer
39 views

Modelling the Möbius strip using implicit functions

While researching on Möbius strips I found its parametric representation on a lot of websites claiming it is easier. Can someone please explain what problems appear when modelling the Möbius strip ...
2
votes
1answer
31 views

Quick question about covariant derivative

Let $f$ be a function and define $\nabla_X f = X(f)\,\,(1)$, where $\nabla$ is the connection on a manifold and as far as I understand the r.h.s is a function and $X$ is a vector field. I am just a ...
4
votes
1answer
78 views

Is this statement about manifold true? [duplicate]

Suppose $M$ is a closed $k-$manifold in $\mathbb R^n$ without boundary, can we always find a smooth function $f:\mathbb R^n\to\mathbb R^{n-k}$ such that $M$ is the level set where $f=0$?
2
votes
0answers
17 views

Extending a function from set without limit points

Problem: Let $D$ be a subset of (smooth) manifold $M$ without limit points in $M$. Let $f \colon D \to \mathbb R$ be any real-valued function. Can $f$ be extended to smooth real-valued function $g ...
1
vote
0answers
23 views

inverse function theorem on manifolds

suppose there are two 3-manifolds(consider them as orthogonal matrices $SL(2,\mathbb R)$), and there is $F:SL(2,\mathbb R)\to SL(2,\mathbb R)$, given by $F(A)=A^3$. Can we apply inverse function ...
4
votes
0answers
38 views

Transversality and homotopic maps

I'm trying to solve some problems in differential topology, and I came across the following: suppose $f:M\times [0,1]\rightarrow N$ is a homotopy, where $M$ is a compact manifold, such that $f_0$ and ...
3
votes
2answers
156 views

Is there a well-defined notion of measure zero on topological manifolds?

We extend the concept of measure zero on manifolds by local parameterization. but in this definition we have to check if it is true for every parametrization. In Guillemin's Differential Topology this ...
1
vote
0answers
17 views

Discrete singularities of $C^k$-functions.

I'm stacked in the following problem: suppose $f:M\rightarrow N$ is a $C^k$ map between $C^k$-manifolds, such that $\dim M=\dim N=n>1$; if the singularities of $f$ are isolated, then the map is ...
4
votes
2answers
208 views

How to Show Cotangent Bundles Are Not Compact Manifolds?

Hamiltonian mechanics occurs in a sympletic manifold called phase space. Lagrangian mechanics take place in the tangent bundle of the configuration manifold. Using Legendre transform makes possible ...
1
vote
1answer
38 views

A partition of the unit square such that the quotient space is the Klein bottle

Write down a partition $X^*$ of the unit square $X=[0,1]\times[0,1]$ such that the quotient space is the Klein bottle. I understand the definition of Quotient topology and Partitions, however, ...
1
vote
1answer
39 views

Smooth mapping between manifold such that $\text{Im}(f) \subset \partial N$

Let $f:M \to N$ be smooth such that $\text{Im}(f) \subset \partial N$. Prove that $f$ as mapping $f:M \to \partial N$ is smooth. I've tried to write down $f:M \to \partial N$ as composition of two ...
1
vote
1answer
42 views

Smooth manifold

$A=M\cap N$, $M={(x,y,z\in\Bbb R^3)| x^2+y^2=1}$, $N=(x,y,z)\in \Bbb R^3|x^2-xy+y^2-z=1$. $1$. Is $A$ is smooth manifold? $2$. Find the points of $A$ that are farthest from the origin. This is ...
0
votes
0answers
38 views

Tangent space chart dependent or not?

I was wondering whether the definition of a tangent space is chart dependent or not? Cause to me it seems that they depend on the charts: Let $p \in M$ where $M$ is a k-dim smooth manifold and $\phi: ...
1
vote
1answer
53 views

Using stokes' theorem

$B=\{(x,y), x^2+y^2\le1\} $ is a closed ball and $S=\{(x,y,z), z=x^2+y^2, (x,y)\in B\} $ oriented so that $f:B\to S$ defined by $$f(x,y)=(x,y,x^2+y^2)$$ is orientation preserving. Compute ...
0
votes
1answer
24 views

Diffeomorphism preserves compact support of functions?

Let $M$ and $N$ be two Riemannian manifolds which are diffeomorphic via a $C^k$ map $F:M \to N$. Let $\phi \in C^0_c(M)$ be a continuous function with compact support in $M$. Is it true that its ...
4
votes
1answer
47 views

Can $\mathbb{R}\mathbb{P}^2$ be embedded into an orientable 3-manifold?

We know that $\mathbb{R}\mathbb{P}^2$ cannot be embedded into $\mathbb{R}^3$, but is there an orientable 3-manifold where it is possible?