# Tagged Questions

29 views

88 views

### If right-hand limit $= f(a)$ and $f(a) > 0$ then $f(x) > 0$. (Spivak pp 107 question 6.15) [closed]

1. How can we presage to pick $\epsilon = f(a)$? I know $|f(x) - f(a)| < f(a) \iff \color{mediumseagreen}{-f(a) < f(x) - f(a)} < f(a) \iff \color{mediumseagreen}{0 < f(x)}$. Feels ...
28 views

### Intuition - $fr = r^{-1}f$ for Dihedral Groups - Carter p. 75

Name $r$ = clockwise 90 deg. rotation and $f$ = flip across the square's vertical axis = the brown $\color{brown}{f}$ in my picture underneath. Zev Chonoles's $f$ is different. Carter fleshes out why ...
47 views

### Intuition - Theorem - A group homomorphism preserves normal subgroups - Fraleigh p. 149. Theorem 15.16

p. 128, 129. Theorem 13.12. Let $h$ be a homomorphism of groups $G \to G'$. III. If $S \le G$, then $h[S] \le \color{red}{G'}$. IV. If $S' \le G'$, then $h^{-1}[S'] \le G$. p. 149. ...
22 views

### Intuition of Picture - Collapse, Factor Group, Homomorphism, Normal Subgroup - Fraleigh p. 144 Figure 15.1

Let $N \unlhd G$. In the factor group $G/N$, the subgroup $N$ acts as identity element. Regard N as being collapsed to a single element, to the identity element. This collapsing of N together ...
22 views

### Intution, Figure. Negation of Continuity and Uniform Continuity (S.A. pp 117 T4.4.6)

Every time I need negation, I have to write out all the logical symbols to negate manually. I know how to determine these negations myself. But I want to compehend intuition or figure like ...
126 views

### If every convergence subsequence has the same limit, then bounded sequence converges to it. (S.A. pp 58 2.5.4) [closed]

Assume $(a_n)$ is a bounded sequence with the property that every convergent subsequence of $(a_n)$ converges to the same limit $a ∈ \mathbb{R}$. Show that $(a_n)$ must converge to a. ...
35 views

### Intuition on Axiom of Completeness

♪ (J. Stewart. Calculus 6th ed. pp 682) Axiom of Completeness = AoC = A nonempty set of real numbers that has an upper bound has a least upper bound. AoC is an expression of the fact that there ...
67 views

### Direct proof. Square root function uniformly continuous on $[0, \infty)$ (S.A. pp 119 4.4.8)

(http://math.stanford.edu/~ksound/Math171S10/Hw8Sol_171.pdf) Prove for all $e > 0,$ there exists $d > 0$ : for all $x, y \ge 0$, $|x - y| < d \implies |\sqrt{x} - \sqrt{y}| < e$. (a) ...
23 views

### Characterize normal subgroups - Find all subgroups of $S_3$ conjugate to $\{id, (1,3) \}$ - Fraleigh p. 143 14.29

(27.) A subgroup H is conjugate to a subgroup K of a group G (viz. p. 141 $K \le G$ is a conjugate subgroup of $H$), if $i_g[H] = gHg^{-1} =K$ for some $g \in G$. Show that conjugacy is an ...
21 views

### If $\phi[H] \subseteq H'$, homomorphism from G to G' induces homomorphism from G/H to G'/H' - Fraleigh p. 143 14.39

Let $H \trianglelefteq \text{ group } G$ and let $H' \trianglelefteq \text{ group } G'$. Let $\phi$ be a homomorphism of G into G'. Show that if $\phi[H] \subseteq H'$, then $\phi$ induces a natural ...
40 views

### Intuition - Fundamental Homomorphism Theorem - Fraleigh p. 139, 136

Let $\phi: G \to G'$ be a group homomorphism with $K = \ker\phi$. Then $\Phi: G/K \to \phi[G]$ given by $\Phi(gK) = \phi(g)$ is an isomorphism. If $\nu : G \to G/K$ is the homomorphism given by ...
31 views

### Visualize meaning of quotient in quotient map, group - etc?

What are the reasons for the name "Quotient" in Quotient map, group - etc? Overhead picture shows each of the three cosets in $A_4$ is mapped to a single - gray - node. But this isn't division? ...
26 views

### Visualize cosets of kernel of homomorphism, normal subgroup

Question 1. 'Since we know that the codomain is a group, this cannot happen.' I don't understand. Can someone elaborate? I know all homomorphisms are functions but not vice versa. Functions are ...
22 views

### Visualize every quotient map follows a pattern, subgroup and its left cosets

page 167. Because of the Fundamental Homomorphism Theorem, Nathan Carter calls non-embedding homomorphisms quotient maps. This is one of the key facts about homomorphisms: they come in ...
38 views

### Visualize normal subgroup, normalizer, cosets.

A few important aspects of the relationship $H \lhd N_G(H) \le G$ are highlighted in Figure 7.31. First, the size of $N_G(H)$ is some multiple of |H|, and the size of G is some multiple of $N_G(H)$, ...
62 views

49 views

### Visualise all vectors perpendicular to one vector and two vectors in R^3 [Strang P19 1.2.6]

I'm only asking about visual/geometric solutions herein. (b) The vectors perpendicular to any vector in $\mathbb{R^3}$ lie on what?. (c) The vectors perpendicular to any two vectors in $\mathbb{R^3}$ ...
77 views

26 views

### Magical Counterexamples to Nonidentities - Power of Cosets and Right Coset - Fraleigh p. 103 10.30, 33

Let H be a subgroup of a group G and let $a, b \in G.$ Prove the statement or give a counterexample. If $aH= bH,$ (30.) then $Ha= Hb.$ (33.) then $a^2 H = b^2 H.$ I understand p. 3: Let $G = S_3$ ...
69 views

### Colored Picture for Equivalence Classes, Relations, Partitions, .. [closed]

Origin — A Book of Abstract Algebra — Charles Pinter — p120. I'm trying to sketch a colored picture for the ideas from equivalence classes, equivalence relations, partitions, etc... underneath. ...
27 views

35 views

### Why it makes sense to think of multivectors as “paralelograms”?

Let $V$ be a vector space over the field $\mathbb{K}$ and let $T(V)$ be it's tensor algebra. We usually define the exterior algebra $\Lambda (V)$ by the following process: we consider the bilateral ...
62 views

### Visual proof ot the distributive property in $\mathbb{Z}$

Is there a intuitive/visual (not formal) "proof" that the distributive property holds in $\mathbb{Z}$? For the natural numbers $\mathbb{N}$ I know something like this: There are two ways to get ...
245 views

### Visualising finite fields

I'm interested in finding visual and/or physical approaches to understanding finite fields. I know of a few: V. I. Arnold has a few pictures of 'finite circles' and 'finite tori' in his book Dynamics, ...
317 views

### Matrix Multiplication - Product of [Row or Column Vector] and Matrix [Strang P59]

From P59 of Intro to Lin Alg, 4th Ed by Strang & P33, 1.3.46 of (odious) Elmtry Lin Alg by Kolman: For relief, I denote all row vectors with superscripts and column with subscripts. Define ...
143 views

### Visualization of immersed submanifold

I am trying to visualize the difference between immersed submanifold and embedded submanifold. At first, I thought that, for example, if I can embed manifold $M$ in $\mathbb{R}^4$ and if my friend can ...
390 views

### $\pi$ from the unit circle, $\sqrt 2$ from the unit square but what about $e$? [duplicate]

If one wants to introduce $\pi$ to a not mathematically savvy person, the unit circle would be a good choice. The unit square would be the way to go for $\sqrt 2$. But what about $e$? I've reviewed ...
1k views

### Algebra: Best mental images

I'm curious how people think of Algebras (in the universal sense, i.e., monoids, groups, rings, etc.). Cayley diagrams of groups with few generators are useful for thinking about group actions on ...
98 views

### Which space this space drawn in this picture is homeomorphic?

Based in this question Why this space is homeomorphic to the plane? I would like to know which space this space is homeomorphic, any help or an intuitive idea are welcome. [Context of Image: ...
1k views

### This quotient space is homeomorphic to the Möbius strip?

Let $G:\mathbb R \times [-1,1]\to \mathbb R \times [-1,1]$ be a map defined by $G(x,y)=(x+1,-y)$ This space $Q=\mathbb R\times [-1,1]/\sim$, where $(x_1,y_1)\sim (x_2,y_2)$ if and only if there is ...