The tag has no wiki summary.

learn more… | top users | synonyms

43
votes
4answers
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 ...
7
votes
2answers
652 views

How to Visualize points on a high dimensional (>3) Manifold?

Are there any ways to visualize(plot/draw) points on a high dimensional (ex: dimension = 5) manifold?
5
votes
1answer
92 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}[ \; \{ ...
11
votes
2answers
603 views

What are all these “visualizations” of the 3-sphere?

a 2-sphere is a normal sphere. A 3-sphere is $$ x^2 + y^2 + z^2 + w^2 = 1 $$ My first question is, why isn't the w coordinate just time? I can plot a 4-d sphere in a symbolic math program and ...
3
votes
1answer
120 views

visualizing functions invariant (or almost) under modular transformation

In the spirit of Möbius Transformations Revealed, I'd like to make a pair of movies depicting how Klein's absolute invariant $j(\tau)$ and the Dedekind eta function $\eta(\tau)$ transform when ...
13
votes
7answers
402 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 ...
13
votes
3answers
2k views

Cutting a Möbius strip down the middle

Why does the result of cutting a Möbius strip down the middle lengthwise have two full twists in it? I can account for one full twist--the identification of the top left corner with the bottom right ...
6
votes
1answer
56 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 ...
5
votes
1answer
340 views

Intuition about the size of $\aleph_k$ with $k>1$

Assuming CH for simplicity, I know of some more or less intuitive way to think about difference in sizes of $\aleph_0$ and $\aleph_1$. The most straightforward is the distinction of natural/rational ...
0
votes
1answer
71 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 ...
7
votes
2answers
72 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: ...
6
votes
3answers
1k views

Visualizing quotient groups: $\mathbb{R/Q}$

I was wondering about this. I know it is possible to visualize the quotient group $\mathbb{R}/\mathbb{Z}$ as a circle, and if you consider these as "topological groups", then this group (not ...
4
votes
8answers
2k views

Techniques for visualising $n$ dimension spaces

Can you guys point me to the types of things I should read about (I'm a maths lay person really) if I want to learn about the current thinking how $n$ dimensional spaces can be visualised and thus ...
5
votes
1answer
203 views

FLOSS tool to visualize 2- and 3-space matrix transformations

I'm looking for a FLOSS application (Windows or Ubuntu but preferably both) that can help me visualize matrix transformations in 2- and 3-space. So I'd like to be able to enter a vector or matrix, ...
4
votes
2answers
249 views

Computing the projection of an infinite 3D grid of points

Consider the subset $S$ of $\mathbb{R}^3$ consisting of points whose coordinates are integers (compare Gaussian integers, Euclid's orchard). The view from the origin has interesting structure; it has ...
0
votes
0answers
203 views

Visualization of 2-dimensional function spaces

As a follow-up question to what is the norm measuring in function spaces I just had an idea: How about visualizing function spaces as normal planes. What I have in mind is to have an orthogonal ...
5
votes
0answers
99 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. ...
5
votes
2answers
177 views

The complement of a torus is a torus.

Take $S^3$ to be the three-sphere, that is, $S^3=\lbrace (x_1,x_2,x_3,x_4):x_1^2+x_2^2+x_3^2+x_4^4=1\rbrace$. Using the stereographic projection, $S^3=\mathbb{R}^3\cup \lbrace \infty \rbrace.$ Can ...
4
votes
4answers
220 views

Geometric visualization of covector?

How could I geometrically visualize a linear functional?
3
votes
3answers
35 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 ...
2
votes
1answer
115 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
165 views

elements of $SL(2,\mathbb{Z})$ which fix roots of Klein's absolute invariant $j(\tau)$

As a followup to this question (resulting video here), I'd like to make a video showing elements of $\mathbf{SL}(2,\mathbb{R})$ which fix roots of Klein's absolute invariant $j(\tau)$, stylized before ...
1
vote
2answers
46 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 ...
0
votes
0answers
49 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
0answers
28 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 ...
0
votes
1answer
137 views

Visualise 3 simultaneous cubic equations

I have three equations of the form: $$\frac{i_1^3}{P_1}+i_1(Z_1+Z_2)+(i_2+i_3)Z_2-U_1=0$$ $$\frac{i_2^3}{P_2}+i_2(Z_1+Z_2)+(i_1+i_3)Z_2-U_2=0$$ $$\frac{i_3^3}{P_3}+i_3(Z_1+Z_2)+(i_1+i_2)Z_2-U_3=0$$ ...