For questions about visualizing mathematical concepts. This includes questions about visualization of mathematical theorems and proofs without words.

learn more… | top users | synonyms

2
votes
1answer
239 views

Cauchy-Schwarz Inequality - Proof using Projections [Lay P379 Thm 6.7.16]

t If $u=0$, then the inequality becomes $ 0 \le 0 $, which is true. See Practice Problem 6.7.1 on P382. If $u\neq 0$, let $W$ be the subspace spanned by $u$. $1.$ How would one determine to ...
0
votes
5answers
184 views

Proof strategy for $(\Leftarrow)$: If $g \circ f = id_A$, then $f$ onto $\Leftrightarrow$ $g$ 1-1. [Chartrand 3Ed P239 9.72]

For nonempty sets $A$ and $B$ and functions $f \colon A \to B$ and $g \colon B \to A$, suppose that $g \circ f =$ the identity function on $A$. $(♦)$ (e) $(\Leftarrow)$ Assume that $g$ is ...
2
votes
1answer
123 views

Intuition - Countable iff Surjection iff Injection [Velleman P310 Thm 7.1.5]

Define $I_n = \{1, 2, ..., n \} $. Let $A$ be a nonempty set. TFAE : (i) $A$ is finite (ie: a bijection $h:A\rightarrow I_{N}$ exists) or A is countably infinite (ie: a bijection ...
1
vote
2answers
97 views

Proof strategy for $(=>)$: If $g \circ f = id_A$, then f onto $\iff$ g 1-1. [Chartrand 3Ed P239 9.72]

For nonempty sets A and B and functions f : A → B and g : B → A, suppose that $g \circ f =$ the identity function on A. $(♦)$ (d) $(=>)$ Assume that $f$ is onto. This means there exist ...
89
votes
20answers
17k views

Visually deceptive “proofs” which are mathematically wrong

Related: Visually stunning math concepts which are easy to explain Beside the wonderful examples above, there should also be counterexamples, where visually intuitive demonstrations are actually ...
2
votes
3answers
328 views

Polar coordinates for $xz$-plane: $z = r\sin\theta$ ? [Stewart P1091 16.7.25]

$1.$ The unit disk is projected onto the xz-plane, so shouldn’t $x = 1\cos \theta$ and $\color{red}{z = 1 \sin \theta} $? User Semsem below kindly identified the problem: The normal to the ...
2
votes
2answers
216 views

Problem using Stokes's Theorem - Boundary Curve, Unit Normal Vector [Stewart P1097 16.8.5]

$\Large{1.}$ How does one determine the boundary curve, denoted as C, to be the plane $z = -1$? I’m flummoxed because $S$ here is given as bottomless. I'm not enquiring about formal or rigorous ...
4
votes
3answers
330 views

Visualizing mathematics and geometry

Im writing a paper on the role of visualization in mathematics and specifically geometry. I was wondering if it is possible to represent any arbitrary system of relations and manipulable objects ...
17
votes
6answers
2k views

Visual explanation of the following statement:

Can somebody fill me in on a visual explanation for the following: If there exist integers $x, y$ such that $x^2 + y^2 = c$, then there also exist integers $w, z$ such that $w^2 + z^2 = 2c$ I know ...
0
votes
2answers
117 views

Is this a counterexample to “continuous function…can be drawn without lifting” ? (Abbott P111 exm4.3.6)

I'm au courant with http://math.stackexchange.com/a/288133 and http://math.stackexchange.com/a/422001. They're both Abbott P111 exm 4.3.6 which proves "a continuous function is sometimes described, ...
0
votes
1answer
66 views

How to visualize four dimensional tic-tac-toe?

I have played three dimensional tic-tac-toe with three players before, and we had no problem visualizing it. We drew three layers on a sheet of paper and just remembered all the different ways you ...
1
vote
1answer
64 views

Which line is the antiderivative and why?

The graph of a function $f$ is shown. Which graph is an antiderivative of f and why? This should be easy but I keep second guessing myself so I thought I'd check with you magnificent people. I'm ...
1
vote
1answer
65 views

Tools or Resources for pictures and visualizations

The popularity of books like Visual Group Theory and Visual Complex Analysis validates the importance of pictures and visualization for complex subjects. Unfortunately, I'm not aware of similar books ...
0
votes
0answers
136 views

Intuition for $\inf(AB) = \inf(A)\sup(B)$. Difference for sets and functions? (Abbott pp 199 q7.4.5)

1. What's the intuition for $\inf(AB) = \inf(A)\sup(B)$? Figure please? I know I must posit $A,B \subseteq R$ as bounded sets. If they're unbounded, $\sup$ doesn't exist. I believe $\inf(AB) = ...
0
votes
3answers
108 views

If $\int^{b}_a f > 0$ then there is some interval and $\delta > 0$ on which $f(x) \ge \delta$ (Abbott pp 199 q7.4.4d)

True or False. If $\int^{b}_a f > 0$, then $\exists \; [c,d] \subseteq [a,b]$ and $\delta > 0$ such that $f(x) \ge \delta$ for all $x \in [c,d]$. 1. We need to determine if true or false. ...
0
votes
1answer
182 views

Cauchy's Generalized Mean Value Theorem. Required function. (S.A. pp 140 t5.3.5)

Cohen, Henle. Calculus pp 827, (http://www.vias.org/calculus/09_infinite_series_10_06.html) I revised the footnote in pp 14 http://math.uga.edu/~pete/2400calc2.pdf. This theorem can be illustrated ...
-2
votes
1answer
279 views

If f' exists and f'(c) > 0 then f'(x) > 0 for all |x - c| < d for some d. (S.A. pp 137 question 5.2.8b)

If $f'$ exists on an open interval, and there is some point $c$ where $f'(c) > 0$, then there exists a d-neighborhood $\{x \in \mathbb{R} : |x - c| < d\} = V_d(c)$ around c in which $f'(x) > ...
0
votes
1answer
59 views

logic - how to model or diagram conditional probabilities of multiple related scenarios.

I am interested in modeling questions and specific outcomes so that i can evaluate conditional probabilities and mathematical expectation. I am looking for a way to diagram or otherwise describe the ...
2
votes
3answers
72 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 ...
-1
votes
1answer
173 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. ...
0
votes
1answer
59 views

Eigenvalues and Corresponding Eigenspace Bases

Could someone describe the eigenvalues of $ \left( \begin{array}{cc} 2 & 1 \\ -1 & 2 \end{array} \right) $, as well as the bases of the corresponding eigenspaces? I received eigenvalues ...
4
votes
3answers
267 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\% ...
0
votes
0answers
125 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 ...
1
vote
0answers
111 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 ...
1
vote
0answers
102 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
2answers
926 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) ...
1
vote
1answer
293 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
238 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
40 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 ...
-1
votes
1answer
49 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 ...
2
votes
2answers
107 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 ...
1
vote
1answer
92 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? ...
2
votes
0answers
155 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)$, ...
4
votes
2answers
175 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
46 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 ...
-1
votes
2answers
43 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 ...
0
votes
0answers
44 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 ...
1
vote
2answers
406 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 ...
1
vote
1answer
203 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. ...
2
votes
1answer
63 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 = ...
0
votes
1answer
63 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 ...
0
votes
1answer
130 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 ...
2
votes
0answers
119 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.$ ...
0
votes
2answers
103 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}$ ...
1
vote
1answer
148 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
46 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 ...
2
votes
1answer
285 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\} = ...
1
vote
1answer
106 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
87 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
45 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 ...