The tag has no wiki summary.

learn more… | top users | synonyms

3
votes
1answer
67 views

Geometric intuition behind subspaces in $\mathbb C^n$

While learning elementary linear algebra one develops a great deal of geometric intuition in $\mathbb R^n$. It helps to see the forest for the trees and leads through proofs. After meeting ...
2
votes
3answers
99 views

Intuition. Equivalence of Characterization of Limits and Continuity (Abbott p106 t4.2.3, p110 t4.3.2)

What are the intuitions of these equivalences? Not questioning about proofs or any rigour. I question both equivalences jointly because they look similar. And Are there any figures? ...
6
votes
4answers
2k views

Factorial of 1,e+80

Recently I started being very fascinated in logistics, and out of the blue came the question into my head, what is the factorial of the amount of atoms in the observeable universe, which is said to be ...
1
vote
2answers
108 views

Intuition or figure for Reverse Triangle Inequality $||\mathbf{a}| − |\mathbf{b}|| ≤ |\mathbf{a} − \mathbf{b}|$ (Abbott p 11 q1.2.5)

I acquiesce to Wikipedia's picture for Triangle Inequality. But without referring to Triangle Inequality at all, is there intuition or figure please for Reverse Triangle Inequality for all ...
4
votes
1answer
181 views

Picture - Equivalence Relation & Classes, Partitions, Quotient Set, & other related ideas

To get intuition for them and to remember them, I'd be grateful for a picture that combines and embodies the key definitions regarding Equivalence Relations & Classes, Quotient Sets, and ...
2
votes
1answer
151 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 ...
2
votes
5answers
181 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 ...
3
votes
1answer
111 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
88 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 ...
84
votes
20answers
15k 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 ...
0
votes
0answers
13 views

Normal Gradient z component is too small?

I am trying to draw arrows on a graph to show the normal gradient of a function. By gradient, I mean the arrows should follow the surface of the function, not being perpendicular to it. For example ...
2
votes
3answers
302 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
190 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
295 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
0answers
40 views

Examples of spectral sequences

Where can I find geometric examples of spectral sequence calculation? For instance, calculation of the spectral sequences of a filtration on torus induces by an enough nice Morse function is quite a ...
1
vote
2answers
96 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
49 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
55 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 ...
3
votes
1answer
60 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 ...
1
vote
0answers
104 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) = ...
1
vote
3answers
103 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
0answers
40 views

Can an arbitrary network of nodes be effectively visualized as a circular “treemap”?

We all know that a treemap is effective for visualizing hierarchical tree data (i.e. where there are only 1 to many relationships like in a computer file system): But how difficult algorithmically ...
1
vote
1answer
151 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://www.math.uga.edu/~pete/2400calc2.pdf. This theorem can be ...
1
vote
1answer
241 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
48 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 ...
3
votes
3answers
65 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
vote
1answer
138 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
52 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
245 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
108 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
64 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
80 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 ...
3
votes
1answer
650 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
192 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
186 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
39 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
45 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
93 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
77 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
118 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
38 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 ...
5
votes
0answers
124 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
139 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
40 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
37 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
40 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
31 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
316 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 ...
5
votes
1answer
149 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. ...