# Tagged Questions

58 views

### Zero set of finitely many polynomials.

Somebody asked a question earlier regarding this proof but I'm confused about a different part. I understand everything but the line "As the zero set of finitely many polynomials, $R$ is a closed ...
56 views

### Embedding of $\mathbb{R}^2 \to \mathbb{R}^3$ with non-parallel tangent planes

I have a qual question here and I'm struggling to get a good starting point. The question asks to construct a smooth proper embedding $f\colon \mathbb{R}^2 \to \mathbb{R}^3$ such that for any distinct ...
83 views

### Is there a nice/clever way to visualize $\mathcal{S}\times \mathbb{R}^2$?

The (velocity) phase space of a double pendulum can be seen as the tangent bundle of its configuration space ($\mathcal{S}^1\times\mathcal{S}^1$), that is: ...
46 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)}}$$ ...
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 ...
46 views

### Some questions about the proof of the General Linear Group being a manifold.

I understand the idea behind proving that GL(n,$\mathbb{R}$) is a smooth manifold by first using the fact that it is isomorphic to $\mathbb{R}^{n^{2}}$ and using the continuity of the determinant ...
64 views

### Topologies on n-manifolds

In the study of n-manifolds (real and imagined), is there any reason to spend much time learning about topologies other than the usual topology?
50 views

### Alexandrov embedded disc

We say that a compact surface $\Sigma$ is Alexandrov embedded via an immersion $f:\Sigma \rightarrow \mathbb{R}^3$ if there exist, $X$ a 3 manifold and an immersion $F: X \rightarrow \mathbb{R}^3$ ...
47 views

### Topological subspace in $(S^{1})^{n}$

Studying the set of solutions of a particular linear system associated to a matroid, I notice that is it possibile to determine the topology of the quotient and identify it as a subtorus of ...
33 views

### Computing geodesic distances from structural data

I am attempting to compute geodesic distances on manifolds where structural data have been sparsely sampled. First, off I am not well versed in the mathematics of differential geometry but I do have ...
55 views

So I understand the definition of an alternating form on $\mathbb{R}^m$, but I don't really understand the proof of the lemma. Could someone explain the first observation? Why is it so?
54 views

### What is the difference between a manifold and a topological manifold?

Is it the case that a topological manifold is just a topological space but we have not mentioned any specific structure on it ?
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 ...
26 views

### Minimization Problem for Winding number

Consider the minimization problem associated to the functional $$\mathcal{F}(u)=\int_{0}^{2\pi}{\lvert \dot u\rvert\bigg(1+\bigg(\frac{\dot u}{\lvert \dot u\rvert}\cdot m(u)\bigg)^2\bigg),dx}$$ ...
150 views

### Definition of “a topological manifold with corners”.

How can we define a topological manifold with corners and its corners? Then, do we use "invariance of domain" to define corners, as we really need this theorem in order to define "boundaries of a ...
84 views

### Homology of manifolds with boundary

If $M$ is a compact topological manifold WITH boundary does it follow that its homology groups are finitely generated and zero almost all of them? I know it is true in case it has no boundary (i.e. is ...
39 views

### Integrable Manifolds

I'm trying to understand why the line of slope y passing through (x,y) is an integral manifold. My intuition tells me that there exists a point in the slope field where the distribution cannot be ...
64 views

### Link between a topological space and a manifold

A topological space is defined as a non-empty set $X$ together with a given collection of subsets $T$ (topology) of $X$, such that, (i) any union of these subsets is one of the subsets. (ii) any ...
74 views

### n-Torus with antipodal points identified

If we have n-torus $S^1 \times S^1 \times S^1 \times ....$ n times, and $\mathbb{Z}_2$ acts on this just sending each component of $S^1 \times S^1 \times S^1 \times ....$ to its antipodal. What will ...
46 views

### How to understand structure groups?

I'm studying fiber bundles and I'm somewhat confused on how Structure Groups appears. The definition of fiber bundle I have is the following: A bundle is a tuple $(E,B,\pi)$ where $E,B$ are ...
31 views

### Antipodal map and parallel transport on $S^3$

I'm reading Thurston and Levy's "Three-dimensional geometry and topology" where they have an informal explanation of what life in $S^3$ would look like. For the following detail that I am concerned ...
15 views

56 views

### Mixed dimension non-Euclidean geometry?

Is the following a "consistent non-Euclidean geometry"? It seems to satisfy the first 4 Euclidean postulates. Any comments? Any agreements or disagreements? Following are the additional conditions on ...
57 views

### Difference between the concepts of graph and trace

I'm a little confused with the definition of graph and trace. If I have a function (or a curve) $f:\mathbb R\to \mathbb R,\ f(t)=t^2$ and I draw the graph we have a parabola since the graph is the ...
69 views

### Is the map from the circular half cone to the $xy$ plane a local isometry?

This is a text book exercise. And I think that this map is not a local isometry. But, I don't know how to show this question. Please help me explaining this question. Thanks a lot. I posted its ...
58 views

### The question related to a regular surface.

Prove that an equation of the form $f(x,y,z)=c$ determines a regular surface if $f$, defined on some open subset $S$ of $\mathbb{R}^3$, is smooth and $\nabla f\neq 0$ everywhere in $S$. I know ...
25 views

### Existence of slices for the action of a subgroup

Assume that a group $G$ acts on a space $M$ in such a way that there exists a slice at a point $m \in M$. Let $H \subseteq G$ be a subgroup. Under which additional assumptions (if there are any) can ...
### prove that $f$ is a diffeomorphism and an isometry
Let $S_1 : [0, 2\pi r]\times [0, h]$ $S_2: x^2+y^2=r^2$ Let $f: S_1 \to S_2$ $(u,v)=(r\cos (\frac{u}{r}), r\sin (\frac{u}{r}), v)$ for $v\in [0,h]$ and $u\in [0, 2\pi r)$ How do I prove that ...