The tag has no wiki summary.

learn more… | top users | synonyms

4
votes
3answers
211 views

Visual explanation of $\pi$ series definition

Can you visually explain why the following is true: $$ \frac{\pi}{4} = \sum\limits_{k=0}^\infty \frac{(-1)^k}{2k + 1} = \frac{1}{1}-\frac{1}{3}+\frac{1}{5}-\frac{1}{7}+\frac{1}{9}\ldots\approx 78.5\% ...
2
votes
0answers
67 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 ...
3
votes
0answers
32 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 ...
3
votes
0answers
61 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 ...
2
votes
1answer
209 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) ...
2
votes
1answer
51 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 ...
3
votes
2answers
140 views

Why is this a good picture of a covector?

I'm reading a book about applied differential geometry and the author says: "suppose $V$ is a finite dimensional vector space. For a given covector $\omega \in V^\ast$, the set $\hat{\omega}$, of ...
1
vote
1answer
38 views

Draw following set in $\Bbb{R}^3$

How can I draw following set in $\Bbb{R}^3$? $$ M = \left\{(x,y,z) : \sqrt{x^2 + y^2} \le z \le 1 \right\} $$ I have the answer in the book but I don't want to check it before i try to solve it ...
2
votes
1answer
37 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 ...
6
votes
2answers
79 views

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

Let $\phi: G \to H$ be a group homomorphism with $K = \ker\phi$. Then $G/K \simeq \phi[G]. $ The hinge to the proof is to define $\Phi: G/K \to \phi[G]$ given by $\Phi(gK) = \phi(g)$. Then we must ...
4
votes
1answer
41 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? ...
3
votes
0answers
55 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 ...
3
votes
0answers
32 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 ...
4
votes
0answers
72 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)$, ...
7
votes
2answers
101 views

Visualize Fundamental Homomorphism Theorem for $\phi: A_4 \rightarrow C_3$

Question 1. How do you see $\ker\phi = V_4 $ = Klein 4 group ? Book doesn't give formula for $\phi$? Question 2. What's $H$ in $i(aH) = \phi(a)$? I think $H = \ker\phi$ ? Question 3. Why is $i: ...
1
vote
0answers
30 views

Visualizing a complex curve

This may be as much a question about computers as about math. Let $C=\{f(r,s,t)=0\}$ be a curve in $\mathbb{CP}^2.$ By forgetting about the points at infinity we can view $C$ as a surface in ...
0
votes
0answers
31 views

Graphing complex plane curves

This may be just as much a question about computers as a question about math. Suppose we have a complex curve $C\subset\mathbb{CP}^2,$ given by some $f(r,s)=0.$ Picking an affine chart, we can view ...
-1
votes
2answers
37 views

Graphic of function similar to Sin(x) but with scaled size

I wont to build a graphical representation of numbers, as "waves": Similar as the graphic of sin x but for each number N it gets bigger and bigger crosses the ...
1
vote
0answers
26 views

Motivation behind Definition of Projection [Poole P27]

In the long paragraph above equation $(2)$, http://mathinsight.org/dot_product avers: This leads to the definition that the dot product $\mathbf{a⋅b}$, divided by $∥\mathbf{b}∥$ (= magntitude of ...
0
votes
2answers
161 views

Parametric equations and specifications of a triskelion (triple spiral)

I haven't been able to find the parametric equations and specifications to form a triskelion, a triple spiral (this is made of three interlocked couples of spirals). Using the parametric equation of ...
4
votes
1answer
94 views

Visualize left, right cosets and conjugation

I drew everything that's in orange. Figure 6.8. Left illustration - Each left coset gH is where H arrows can reach from g, which looks like a copy of H based at g, as in the left illustration. ...
5
votes
1answer
41 views

Visualize cosets of $\left<(0,1)\right>$ partition $C_3 \times C_3$

Page 105 says - A careful look at Figure 6.9 reveals that the cosets of $\left< \, (0,1) \,\right>$ partition $C_3 \times C_3$. How is this true? The picture shows $gH = left picture = ...
4
votes
1answer
46 views

Visualize $C_2 \times C_4$ is normal subgroup

Page 120 says: Given our recent work with subgroups, you may have noticed that $C_2$ is a subgroup of $C_2 \times C_4$; specifically, it is the subgroup $<(1,0)>$. Furthermore, the cosets of ...
4
votes
1answer
71 views

Visualize $A_4$ and $\langle x, z\rangle$ isomorphic to the Klein 4 group

Page 136 says Following Step 1 of Definition 7.5, the top of Figure 7.23 shows $A_4$ organized by the subgroup $\langle x, z\rangle$ (which is isomorphic to the Klein $4$ group. This reorganization ...
6
votes
0answers
106 views

Infer distance from a point to a line, from the distance from a point to a plane [Stewart P793 12.4.44]

I'm able to prove $44$, but how would one deduce $43$ from it without further industry, forthwith? $43$ seems like a reduced, 2D version of $44$? I'm not enquiring about individual proofs. $44.$ ...
1
vote
2answers
69 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}$ ...
5
votes
1answer
99 views

Intuition - Homomorphic Image of Group Element is Coset - Fraleigh p. 135 13.52, p.130 Theorem 13.15

Theorem 13.15: Let $\phi: G \rightarrow G'$ be a group homomorphism, $g \in G$. Then $g\ker\phi = (\ker\phi)g = \operatorname{Im}^{-1} \left[ \; \{ \; \phi(g) \; \} \; \right] = \phi^{-1}[ \; \{ ...
0
votes
2answers
39 views

3-space viewer?

Is there a software package that would allow visulaizing/rendering some example structures in 3-space? Specifically, I'm thinking of something that would provide a 3-D rendering of, say, 3-vectors ...
6
votes
1answer
138 views

A subgroup has the same number of left and right cosets - Tricks - Fraleigh p. 103 10.32, 35

(32.) Let $H \le$ group G and let $a, b \in G.$ Prove or disprove. If ${aH= bH},$ then $Ha^{-1} = Hb^{-1}.$ $\color{blue}{Ha^{−1}} = \{\color{magenta}ha^{−1} | h ∈ H\} = ...
4
votes
0answers
46 views

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

Let $H \le$ group G and $a, b \in G.$ Prove 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$ and $H = \{(1), (1,3)\}$. ...
5
votes
0answers
149 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. ...
2
votes
1answer
75 views

What are all the boundary curves for this combined cone and cylinder? [2013 10C]

Consider the bounded surface S that is the union of $x^2 + y^2 = 4$ for $−2 \le z \le 2$ and $(4 − z)^2 = x^2 + y^2 $ for $2 \le z \le 4.$ Sketch the surface. Use suitable parametrisations for ...
5
votes
1answer
75 views

Can something like $\text{Hom}(V,K)$ be visualised?

I have no trouble visualising vector spaces like $\Bbb R^3$ and (e.g.) a subspace of dimension $2$, which would just be a plane through the origin of a $3$-D space, but I'm having trouble visualising ...
1
vote
1answer
37 views

Collection of Intuitive / Visual Derivations of Mathematical Concepts and Formulas

I find it difficult to simply memorize mathematical formulas in engineering without understanding what it means and what the result is like, but I realized that many mathematical relationships can be ...
5
votes
0answers
49 views

What group are the group of symmetries of these figures isomorphic to - Fraleigh p. 85 Theorem 8.23, 24, 26

In this section we discussed the group of symmetries of an equilateral triangle and of a square. In Exercises 23 through 26, give a group that we have discussed in the text that is isomorphic to the ...
5
votes
2answers
143 views

How to Visualize Diagonally Opposite Vertices

Consider a cube that exactly fills a certain cubical box. As in Examples 8.7 and 8.10, the ways in which the cube can be placed into the box corresponds to a certain group of permutations of the ...
6
votes
1answer
130 views

Animations or Pictures of Group of Rigid Motions (or Rotations) of the Cube

Consider a cube that exactly fills a certain cubical box. As in Examples 8.7 and 8.10, the ways in which the cube can be placed into the box corresponds to a certain group of permutations of the ...
4
votes
0answers
35 views

Visual Solution - Find All (Cyclic) Subgroups of $D_4$ generated by 1, 2, … elements - Fraleigh p. 84 8.19

Verify that the subgroup diagram for $D_4$ shown in Fig. 8.13 is correct by finding all (cyclic) subgroups generated by one element, then all subgroups generated by two elements, etc. Here, $p_i$ mean ...
4
votes
2answers
68 views

Isomorphism of Group with the Image of the Group - Fraleigh p. 82 Lemma 8.15

I found multifarious duplicates that I listed at http://math.stackexchange.com/a/631364/53934. I edged the purple part because my answer proves it more efficiently. I remember that any function ...
5
votes
2answers
116 views

Visual Group Theory's Intuitive Proof - Cayley's Theorem - Nathan Carter pp. 85, Theorem 5.1

Theorem 5.1. Cayley's Theorem: Every group is isomorphic to a collection of permutations. Figure 5.31. A multiplication table for the group $V_4$, with nodes numbered 1 through 4 to facilitate ...
3
votes
1answer
241 views

If two sets have the same cardinality, then so do their power sets. Converse can't be answered?

For infinite sets $A, B$, $|A| = |B| \Longrightarrow \require{cancel} \cancel{\Longleftarrow} |P(A)| = |P(B)|$. I recast http://ph.answers.yahoo.com/question/index?qid=20100907061641AAE2Vfq : ...
2
votes
2answers
210 views

Easy visualizations of small countable ordinals

The ordinal number $\omega^2$ can be visualized as $\omega$-many copies of $\omega$. Likewise, the ordinal number $\omega^3$ can be visualized as $\omega^2$-many copies of $\omega$, arranged as ...
1
vote
2answers
76 views

Elliptic Curve and Conjugation

If I consider an elliptic curve $C$ as a Riemann surface cut out in $\mathbb{C}P^2$ by a homogenous cubic, and if that cubic is defined over $\mathbb{R}$, then I think we have a conjugation map ...
2
votes
1answer
55 views

Credit Given - Geometricly Modeling Infinity with 3 planes and 9 circles - Ratio of Circles

Refer to the attached diagram sketch to help visualize the equation. I am requesting help with an interesting math problem. Basically, I am diagraming infinity using three planes. These planes ...
1
vote
2answers
67 views

Visualizing a complex valued function of one real parameter

I'm looking for a way to capture/graph or visualize it in my head, but I can't find how.. a 2-dimensional path won't do, because it doesn't reveal the rate-of-change.. 2 1-dimensional graphs on top ...
8
votes
1answer
97 views

Intuition & Proof of rank(AB) $\le$ min{rank(A), rank(B)} (without inverses or maps) [Poole P217 3.6.59, 60]

I'm aware of analogous threads; I hope that mine is specific enough not to be esteemed one. $\mathbf{a^i}$ is a row vector. $A, B$ are matrices. Prove: $1$. $\mathbf{a^i}B$ is a linear ...
12
votes
1answer
147 views

Handbook of mathematical drawing?

My drawing skills are pretty awful, and although I haven't yet had to teach multivariable calculus, someday I will. (And next semester in calculus II we're already doing some volumes by integrating ...
3
votes
3answers
134 views

Why are orthogonal matrices generalizations of rotations and reflections?

I recently took linear algebra course, all the I learned about orthogonal matrix is that matrices is that Q transposed is Q inverse, and therefore it has a nice computational property. Recently, to my ...
4
votes
1answer
222 views

Intuition for Cayley Table and Cayley Table for identity, inverse but not associativity - Fraleigh p. 47 4.24

$1-2.$ I understand these proofs on pp. 5-6 for Cayley tables but what are the intuitions for Sudoku property : Every element of the group appears only once in each row and each column. Symmetric ...
2
votes
1answer
62 views

Intuition/Picture - Theorems on Linear Independence, Span, Basis, Dimension [Poole, Section 6.2]

I'd like to ask about the intuitions for these theorems, absent in David Poole's Linear Algebra (to which the page numbers refer). Also, are there pictures for these theorems?