1
vote
1answer
23 views

A bounded domain can be considered as a compact manifold?

A bounded domain $\Omega$ with smooth boundary $\Gamma$ can be considered as a compact connect Riemannian manifold?
0
votes
0answers
34 views

Derivative with respect to a vector and tensor on a manifold

I am reading through a paper and have come across a statement which I do not fully understand. I paraphrase below. Consider a scalar function $f = ...
2
votes
1answer
18 views

Hadamard's Lemma in multidimensional real analysis

This is Hadamard's Lemma: Let $U \subset \Bbb R^n$ be an open set, let $a \in U$ and $f: U \to \Bbb R^p$. Then the following assertions are equivalent. The mapping $f$ is differentiable at $a$. ...
2
votes
1answer
34 views

Spherical coordinates and Lebesgue integral

I found a textbook that says that $r \in [0,\infty), \theta \in [0,\pi], \phi \in [-\pi,\pi]$ are the spherical coordinates. Then he goes on with: This corresponds to a unitary map $L^2(\mathbb{R}^3) ...
2
votes
0answers
34 views

Question on Inductive Proof of Implicit Function Theorem

I am struggling with an inductive proof of the implicit function theorem, concretely with the final part of construction of a function, up to this final point everything is perfectly clear to me. ...
2
votes
0answers
47 views

$ d(x,y)^2 \le d(x,z)^2 - d(y,z)^2\color{}{+\varphi\big(x,y,z,d(x,y),d(y,z) \big)}? $

In a metric space $(M,d)$ the triangle inequality $d (x, z) \le d(x, y) + d (y, z)$ gives us's the inequalitie $$ \quad d(x,y)^2 \ge d(x,z)^2 - d(y,z)^2\;\color{}{{-2\cdot d(x,y)\cdot d(y,z)}} $$ ...
1
vote
2answers
84 views

Why are open sets used in definitions in differential geometry?

I find that in most definitions in differential geometry, such as those of defining a manifold, a smooth manifold,differentiable functions, diffeomorphisms on manifolds, an atlas,etc , open sets are ...
1
vote
0answers
26 views

Proving that a function is a $C^\infty$ submanifold in $\Bbb{R}^2$ of dimension 1

We need to prove that for all $c\in\Bbb{R}$ the set $\{x\in\Bbb{R}\,\colon\, g(x)=c\, \}$ is a $C^\infty$ submanifold ($g\,\colon\,\Bbb{R}^2\rightarrow \Bbb{R};(x_1,x_2)\mapsto x_1^3-x_2^3$) in ...
0
votes
3answers
64 views

A diffeomorphism with negative Jacobian swaps the orientation?

Let C be a simple close oriented curve $C^1$ in $\mathbb{R}^2$ and let $g: \mathbb{R}^2 \rightarrow \mathbb{R}^2$ a diffeomorphism such that $\forall (x, y) \in C$ it holds that the determinant of the ...
1
vote
0answers
27 views

arbitrary reparametrization

Let $\alpha: (a,b)\rightarrow \mathbb{R}^n$ of class $C^{\infty}$ with $\Vert\alpha^{\prime}\Vert>0 $ then if $\{ k,m,n\} \subset \mathbb{R}_+$ there repametrizacion $\beta: (m,n)\rightarrow ...
6
votes
3answers
112 views

Eigenfunctions of the Laplace-Beltrami operator of a torus

The eigenfunctions of the Laplace-Beltrami operator of the flat torus $\mathbb{T}^2=\mathbb{R}^2/\mathbb{Z}^2$ and their multiplicity are well-known. What happens if we change the sides of the torus ...
7
votes
1answer
63 views

Translate a vector field

Imagine that you have a vector field $A = \frac{A_0}{r} e_{\theta}$ in cylindrical coordinates, where $A_0 \in \mathbb{R}$. Now you translate your coordinate system in $e_x$ direction by $x \mapsto x ...
1
vote
1answer
35 views

Winding number from complex analysis and differential geometry

I showed that for a differentiable function $f:S^1 \rightarrow S^1$, the winding number is given by $\frac{1}{2 \pi i } \int_{S^1} \frac{f'(z)}{f(z)} dz$. Now I want to show that the winding number ...
2
votes
1answer
91 views

Moment map of the action of $SU(2)$ on $\mathbb C^{2n}$

Let $SU(2)$ acts on symplectic space $((\mathbb C^2 -\ (0,0))^{n},\omega)$, where $$\omega=dx_1\wedge dx_2+dx_3\wedge dx_4+\cdots+dx_{4n-3}\wedge dx_{4n-2}+dx_{4n-1}\wedge dx_{4n}$$ as ...
1
vote
1answer
67 views

number of points of tangency of the zero divergence vector field and the equator of the sphere.

Let $V$ be vector field on the sphere $S^2$ and $\operatorname{div} V=0$. What is the minimum number tangency points of this vector field and the equator of the sphere?
2
votes
0answers
53 views

Help explain why the proof works - Gradient Estimate Using the Maximum Principle

I found the following proposition and proof in a textbook for one of my classes, and the end of the proof seems a little "unfinished" to me. In other words, as the author left it, I'm not entirely ...
4
votes
4answers
160 views

Some aspects of inner products in $\mathbb R^3$

I read several descriptions about inner products recently due to an exercise (here it is no longer active so I like to ask again). I am still very confused about this concept. Any clarification will ...
2
votes
1answer
43 views

Del on Riemannian manifolds

I was supposed to figure out what $grad(div(e_r))$ is, where $e_r$ is the unit vector in spherical coordinates. In the following I assume $g:=diag(1,r^2,r^2sin^2(\theta))$ be the metric tensor. My ...
0
votes
0answers
70 views

How to convert vector field from cartesian to spherical

I have a vector field $A ( r) = \omega \times r$, where $r=(x,y,z)^T$ and now I want to express this field in cylindrical coordinates. How do I do this?
1
vote
1answer
30 views

Derivative of Normal Vector Field

This is an example from Do Carmo (Example 4, page 139). Consider the saddle point $p=(0, 0, 0)$ of the hyperbolic paraboloid $z=y^2-x^2$ with parameterization $\mathbf x(u, v)=(u, v, v^2-u^2)$. It is ...
0
votes
0answers
17 views

integration in five dimensions space part three

I am following this: integration in five dimensions space part two Maybe I need to simplify my question: Find the integration of $\int_{\partial S}-p_1dq_1\wedge dp_2\wedge dq_2$, where $S$ is the ...
2
votes
1answer
62 views

integration in five dimensions space part two

I am following the discussion here: integration in five dimensions space I am doing this problem: Consider the differential form $$a=p_1 \, dq_1+p_2 \, dq_2-(p_1^2+p_2^2+q_1^2+q_2^2) \, dt\text{ in ...
5
votes
1answer
74 views

integration in five dimensions space

I am doing this problem: Consider the differential form $$a=p_1 \, dq_1+p_2 \, dq_2-(p_1^2+p_2^2+q_1^2+q_2^2) \, dt\text{ in }\mathbb R^5=(p_1,p_2,q_1,q_2,t).$$ (a) Compute the differential $da$ and ...
2
votes
1answer
34 views

Partitions of Unity-Integration on Manifolds

So lets say I have a $k$-manifold $M$ in $\mathbb{R}^n$, and I cover it up with coordinate patches $\{\alpha_i\}$. I can find a set of partitions of unity $\{\phi_1,...\phi_l\}$ on $M$ which is ...
0
votes
1answer
31 views

Is norm of a differentiable function continuous?

The following argument is from my class notes. "Suppose $\gamma(s): I\rightarrow \mathbb R^3$ is a regular curve. Fix $t_0$ and define $s(t) = \int_{t_0}^t \|\gamma'(t)\|dt$. That is, $s(t)$ is the ...
1
vote
1answer
35 views

What does it mean by saying that $u^n, J^n$ “$C^{\infty}$ converges” to u, J?

The question arose while reading the big book of McDuff & Salamon. Here $\Sigma$ is Riemann surface and M is compact symplectic manifold. Let $u^n(n\in \mathbb N), u : \Sigma \rightarrow M$ be ...
1
vote
1answer
35 views

How do I convert OS coordinates (X and Y) to longitude and latitude coordinates?

How do I convert OS coordinates (X and Y) - Eastings and Northings to longitude and latitude coordinates? For example X and Y below X (Eastings): 347904 Y (Northings): 287484
1
vote
0answers
18 views

How do I figure out the grid references necessary to create a circular 1 mile radius around one location?

How do I figure out the grid references necessary to create a circular 1 mile radius around one location? For instance: Grid Reference: SO 47904 87484 X (Eastings): 347904 Y (Northings): 287484 ...
1
vote
1answer
76 views

How do I figure out the longitude and latitude coordinates necessary to create a circular 1 mile radius around one location?

How do I figure out the longitude and latitude coordinates necessary to create a circular 1 mile radius around one location? I don't mind how many coordinates that takes. For instance: Latitude = ...
0
votes
1answer
90 views

Question about statement of Rank Theorem in Rudin

Theorem Suppose $m,n,r$ are nonnegative integers, $m\ge r, n\ge r$, $F$ is a $C^1$ mapping of an open set $E\subset \mathbb{R}^n$ into $\mathbb{R}^m$, and $F'(x)$ has rank $r$ for every $x\in E$. ...
1
vote
2answers
78 views

How to choose $f\in C^{2}(\mathbb{R})$ with compact support and takes value 1 on connected compact set?

Let $0< \delta < \pi$. My questions: (1) How to construct(choose/method) $f\in C^{2}(\mathbb R)$(= First two derivatives ($f' \ \text{and} \ f''$) of $f$ on $\mathbb R$ exists and are ...
2
votes
1answer
63 views

Are diffeomorphic sets smoothly deformable into each other?

Given connected, bounded and open sets $U, V\subset \mathbb{R}^n$ and an orientation preserving diffeomorphism $F:U\to V$, is there always an isotopy $H:[0,1]\times \mathbb{R}^n\to\mathbb{R}^n$, s.t. ...
0
votes
0answers
24 views

Finite length of a spiral problem [duplicate]

consider a "spiral" $\alpha(t)=r(t)\left(\cos(t),\sin(t)\right)$, where $r$ is $\mathcal{C}^1$ and $0\le r(t) \le 1$ for all $0 \le t$ Show that if $\alpha$ has finite length on $ [0,\infty)$ and ...
1
vote
1answer
38 views

Change of Variables from Sphere to Plane

Say we are in the space $\mathbb{R}^{n}$. Consider the $n-1$ dimensional surface measure $dS$ on the boundary of the upper half sphere. We can define the coordinates on this sphere by ...
0
votes
2answers
70 views

Orientability of surfaces in $\mathbb{R}^3$

I have a question: I'm currently reading a few things about orientability and understood this concept as the answer to the question: Given a surface and a unit normal vector field on it: Is there a ...
4
votes
1answer
95 views

The unsolved extension problem on manifolds.

I have been struggeling for quite a while with this problem: Let $M \subset \mathbb{R}^n$ be a compact $C^k-$ submanifold and $\phi_i: B_i(0) \rightarrow M$ be the associated set of charts ...
1
vote
1answer
136 views

How do 1-d compact submanifolds look like?

I was wondering whether it is true that every 1-d compact submanifold $\subset \mathbb{R}^n$ that is $C^1$ is a closed curve that is also $C^1$, cause I cannot think of more examples. Therefore, I ...
1
vote
1answer
65 views

Partition of unity. Does this one exist?

Let $X:=\mathbb{R^n}$ be given and $M \subset X$ be a compact set in it. Then my question is: Are there $\alpha_i \in C^{\infty}(X,\mathbb{R})$ such that $supp(\alpha_i) \subset N$, where $N$ is an ...
2
votes
1answer
28 views

sufficient condition for being an integral factor

Let $ f: \mathbb {R}^m \rightarrow \mathbb {R}-\{0\} $ function $C^{\infty}$ class and $w$ a one-form $C^{\infty}$ class in $\mathbb {R}^m $. If $\alpha=w-\dfrac{1}{f}dx_{m+1} $ satisfies $\alpha ...
1
vote
1answer
39 views

How to show that the metric in the tangent space is independent from the chart you take?

I want to prove that for vectors $v_1,v_2 \in T_aM$ the euclidean length and distance is independent from the chart we are using, where $M$ is a submanifold in some $\mathbb{R}^n$ My problem is that ...
2
votes
2answers
56 views

Derivative: a special tangent

I've learned in Euclidean Geometry that the tangent is a line which pass through only a point. For example, if someone ask me to find the tangent at this point $A$, I can easily say that the tangent ...
3
votes
1answer
98 views

Why is the derivative the tangent vector?

I'm trying to understand, at least intuitively why the derivative of a function at a point is the tangent vector at this point. If we see the functions of this form $f:\mathbb R\to \mathbb R$ we see ...
3
votes
1answer
56 views

Does this Manifold exist?

The excercise is the following: Give an example or disprove: There is at least one m-dimensional manifold that is compact in some $\mathbb{R}^n$ such that one chart is sufficient to get the whole ...
0
votes
2answers
60 views

Curve is a submanifold

In our class today we said today that an 1-times continuously differentiable immersion $\phi:[0,1] \rightarrow \mathbb{R}^n$ is a submanifold of dimension 1 if it is closed such that $\phi(0)=\phi(1)$ ...
1
vote
1answer
53 views

A surface patch $\tilde{\sigma}(\tilde u,\tilde v)$ is a reparametrization of a surface patch $\sigma (u,v)$

Suppose that a surface patch $\tilde{\sigma}(\tilde u,\tilde v)$ is a reparametrization of a surface patch $\sigma (u,v)$. Let $$\tilde E d\tilde u^2+ 2\tilde F d\tilde ud\tilde v+\tilde G d\tilde ...
2
votes
1answer
58 views

Constructing submanifolds. Did I understand this right?

I just want to know whether I understand the construction of a submanifold in some $\mathbb{R}^n$ properly. Please correct everything that you think could be wrong. As far as I know so far, it is ...
1
vote
1answer
121 views

Inner product on tangent space and metric tensor

In our class we talked about integrating on submanifolds and as a short side remark our teacher told us that by knowing the metric tensor, it is possible to define an inner product on a tangent space ...
1
vote
0answers
39 views

show that $g\circ f :S_1 \to S_3$ be also smooth and $d_p(g\circ f)=(d_{f(p)}g)\circ (d_pf)$

proposition: Let $S_1$, $S_2$, $S_3$ be 3-regular surfaces and $f:S_1 \to S_2$ and $g: S_2 \to S_3$ be smooth maps. Then show that $g\circ f :S_1 \to S_3$ be also smooth and $$d_p(g\circ ...
1
vote
1answer
49 views

Show that every open subset of a surface is a Surface.

Show that every open subset of a surface is a Surface. I think, first of all, i need to define an atlas $\{\sigma_{\alpha}: U_{\alpha}\to \Bbb R^3\}$ for surface S, Where $U$ is an open set. After ...
-1
votes
1answer
128 views

The double cone is not a surface.

My question is that A double cone ( also named as "circular cone") is not a surface. I know its reason. But I cannot show this mathematically. Suppose $\sigma : U \to S\cap W$ Is a surface ...