Mathematical intuition is the instinctive impression regarding mathematical ideas which originate naturally without regard to formal mathematical proofs. It may or may not stem from a cognitive rational process.

learn more… | top users | synonyms (1)

2
votes
0answers
118 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)} $. 2. ...
2
votes
1answer
40 views

Action of a group on itself by conjugation is faithful $\iff$ trivial center

p. 5: A group action of G on X is called faithful (or effective) if different elements of G act on X in different ways: when $g_1 \neq g_2$ in G, there is an $x \in X$ such that $g_1 \cdot x \neq ...
0
votes
0answers
34 views

How small can we make a modulus and still perform linear algebra on these pairs?

We can work with numbers of the form $(a^n + a^m)$, where $a$, $n$, and $m$ are all naturals, and $-v \le m \le v$ and $-v \le n \le v$. There is one more possibility: $a^n$ could be replaced by $0$, ...
3
votes
1answer
69 views

A Nonabelian group of order of product of primes G has a trivial center - Fraleigh p. 153 15.18

Using Exercise 37, show: A nonabelian group G of order pq where p and q are primes has a trivial center. Reference: http://users.humboldt.edu/pgoetz/Homework%20Solutions/Math%20343/hw...
2
votes
2answers
54 views

Proof blueprint - If $G/Z(G)$ cyclic then $G$ Abelian - Fraleigh p. 153 15.37

(1.) Why didn't Fraleigh state the result in the direct form like in my title? Why state it with the negations and then prove the contrapositive? Isn't this extra unnecessary work? (2.) How do you ...
3
votes
2answers
177 views

What insight is supposed to be gained from this complex analysis exercise?

Let $C_0$ denote the circle centered around some point $z_0\in\mathbb{C}$ with radius $R$. We can parametrize this circle like this: $$\begin{array}{cc} z(\theta)=z_0+Re^{i\theta}, & \theta \in ...
5
votes
0answers
77 views

Apple game question

Player A and Player B play a game. On the middle of the table there is a pot full of $N$ apples of different weights. Player A starts first and chooses an apple and starts eating it. Losing no time ...
2
votes
1answer
37 views

Commutator subgroup of a simple group - Fraleigh p. 152 15.19(h)

True or False: (19h.) The commutator subgroup of a simple group G must be G itself. Answer: http://www.auburn.edu/~huanghu/math5310/alg-hw-ans-i think 3.pdf ...
0
votes
0answers
16 views

Need explanation for clustering coefficient formula

I need some explanation for clustering coefficient formula itsef firstly and why it can be used for detecting communities in a social network! Also I would like to know why it is not a good method for ...
3
votes
0answers
27 views

Center/Commutator Subgroup of Direct Product = Direct Product of these Subgroups - - Fraleigh p. 64 Theorem 6.14

(1.) What's the intuition? Full proof for Center Subgroups (2.) What's the proof blueprint? I know proof's using $A = B \iff A \subseteq B \wedge B \subseteq A$. But where did $(ga,hb)$ in ...
1
vote
1answer
24 views

Intuition for this explicit formula for the number of ways of putting N labeled balls in K unlabeled boxes?

In its article on "Stirling numbers of the second kind", Wikipedia gives this formula for $S(n, k)$ -- the number of ways of putting $n$ distinct balls into $k$ boxes (where the boxes aren't ...
3
votes
2answers
116 views

Intuitively when to use the wedge product?

When I first learned the dot product and the cross product in $\mathbb{R}^3$ I spent some time understanding when I would like to use them. After some time I understood that the dot product usefulness ...
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
2answers
68 views

Intuition, Questions on Commutator Subgroup $\neq$ Set of All Commutators - Fraleigh p. 150 Theorem 15.20

This is too advanced for me. Not asking about proofs here. Theorem 15.20: The set of all commutators $= \{aba^{-1}b^{-1} : a,b \in G \} $ generates $ \color{red}{\text{ and hence $\neq$} }$ (but ...
2
votes
0answers
47 views

Intuition and Proof - $H$ is a maximal normal subgroup of $G \iff$ $G/H$ is simple. - Fraleigh p. 150 Theorem 15.18

I don't understand some steps in the proof by B.S.. Start with some definitions. http://en.wikipedia.org/wiki/Maximal_subgroup#Maximal_normal_subgroup: $H \unlhd G$ is a maximal normal subgroup ...
0
votes
1answer
61 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. ...
2
votes
2answers
35 views

Intuition - Quotient Group of Direct Products - Fraleigh ch. 15

Tried http://www.proofwiki.org/wiki/Quotient_Group_of_Direct_Products Proof on p. 3 and 4 . For the case $n = 2$. Define $h: A_1 \times A_2 \rightarrow \dfrac{A_{1}} {B_{1}} \times \dfrac ...
3
votes
1answer
49 views

Collapsing a Factor to the identity element - Fraleigh p. 14 Theorem 15.8

p. 146: We should acquire an intuitive feeling for this theorem in terms of $\color{red}{collapsing}$ one of the factors to the identity element. p. 147 15.8 Theorem: $\hat{H} = \{(h, e) ...
2
votes
0answers
45 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
1answer
38 views

Motivation for Conjugate transpose of a matrix

I'am currently going through a self study of Linear algebra . I'am finding it difficult to grasp the intuition behind the concept of Conjugate transpose of a matrix .Why take the complex conjugate of ...
3
votes
0answers
52 views

Intuition behind (statistical) completeness

I was wondering if any of the members of the MSE community would like to share his/her intuition about completeness in statistics. For the sake of "completeness", here's the definition, taken from ...
3
votes
0answers
28 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 ...
5
votes
1answer
156 views

Equivalences of continuity, sequential convergence iff limit (S.A. pp 106 t4.2.3, 110 t4.3.2)

1. This post became too long, ergo I moved this here. 2. I questioned anew here. How does $\color{red}{(I) \implies (III)}$? This contradicts $a \le b \not \implies \Leftarrow a < b$. 3. ...
3
votes
1answer
107 views

Prove nth root of k exists with supremum. (Abbott pp 27 1.4.6b) [closed]

(Ulrich Daepp. Reading, Writing, and Proving. edition 2. pp 133 Theorem 13.2) Modus Operandi. The basic idea is that the nth root = supremum of $A = \left\{ w\in \mathbb{R} ^{+}:w^{n} < ...
1
vote
2answers
53 views

How to motivate vectors as derivations?

In a manifold it's easy to motivate the definition of vectors as equivalence classes of curves. On the other hand the definition as derivations is harder to motivate. I know how to show that the space ...
3
votes
1answer
74 views

Intuition on formal neighborhood in a scheme

Let $X$ be a Noetherian scheme, $x \in X$ a closed point. Denote by $\hat X$ the completion of $X$ along $x$. Now assume that two coherent modules $F, G$ on $X$ coincide over $\hat X$, i.e. $i^*F = ...
2
votes
3answers
236 views

Intuition: If $a\leq b+\epsilon$ for all $\epsilon>0$ then $a\leq b$?

I am reading Tom Apostol's Analysis and come across this theorem. Should $a \leq b$ if $a\leq b+\epsilon$ for all $\epsilon >0$? I don't doubt the proof in the book but I don't understand the ...
3
votes
0answers
48 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 ...
0
votes
1answer
60 views

Surface area of a Hypersphere

Hypersphere in 4 dimensions, I am having problem with finding the surface area of it. please help. I know that surface area will have 3 dimensions in 4 dimensional space, I am having trouble to ...
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
44 views

Nontrivial Homomorphism(s) from $\mathbb{Z_3}$ to $S_3$ - Fraleigh p. 134 13.37

Reference: http://users.humboldt.edu/pgoetz/Homework%20Solutions/Math%20343/hwsome number 1 to 17 that I forgotsolns.pdf There are exactly two nontrivial ...
2
votes
1answer
35 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
0answers
85 views

In a finite cyclic group of order n, number of solutions to $x^m = e$ - Fraleigh p. 68 6.53,54

(53.) Show that in a finite cyclic group G of order n, written multiplicatively, the equation $x^m = e$ has exactly m solutions $x$ in G for each $m \in \mathbb{N}$ that divides n. (54.) With ...
3
votes
1answer
72 views

Why might one be inclined to think that polynomials of the form $\cos(n\arccos{x})$ would minimize error in Lagrange interpolation?

I was first introduced to Chebyshev polynomials (of the first kind) in the form $T_n(x)=\cos\left(n \operatorname{arccos}(x)\right)$. The usual recurrence relation was then derived from using trig ...
0
votes
1answer
32 views

Can we find an $n$ that minimizes this function?

If we suppose that we have positive integers $k$, $c$, and $v$, can we find the $n$ that minimizes: $$k^n \frac{\log{2^v}}{\log{v}}v^{\log_2{(k \cdot v \cdot c/n)}}$$
2
votes
2answers
91 views

Intuition — If $k \in \mathbb{Z}$ and $n \ge 2$, then the n$^{th}$ root of k is either an integer or irrational.

Origin — Elementary Number Theory — Jones — p25 — Exercise 2.4 (1) How do you prefigure the answer? Proofwiki start after 'auguring' the answer. (2) What's the intuition? This answer delineates ...
1
vote
1answer
45 views

Intuition for an open mapping

What is an intuitive picture of an open mapping? The definition of an open mapping (a function which maps open sets to open sets) is simple sounding, but it's really not as easy to picture as the ...
0
votes
0answers
22 views

How large does $m$ have to be to get unique values with high probability? [duplicate]

We can suppose we are given two naturals, $r$ and $n$. We can then pick $n$ unique naturals: $\{x_0, x_1, \dots, x_n\}$. The following function is important: $$\prod_{k=1}^n{(x_k)^{y_k}} (\mod m)$$ ...
6
votes
1answer
65 views

How to change variables in a surface integral without parametrizing

This is a doubt that I carry since my PDE classes. Some background (skippable): In the multivariable calculus course at my university we made all sorts of standard calculations involving surface ...
2
votes
2answers
74 views

How hard is finding values such that

We can work with powers of some naturals $(x_k)^{m_k}$. Here we have $n$ naturals, and $m_k$ is an integer in the range $-r$ to $r$. My question is, how small can $p$ be so that ...
2
votes
1answer
34 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
1answer
88 views

Intersection of Normal Subgroups is Normal in Subgroup but Not Group - Fraleigh p. 143 14.35

Show that if H is a subgroup of a group G, and N is a normal subgroup in G, then $H \cap N$ is normal in H. Show by an example that $H \cap N$ need not be normal in G. I can condone the proof hence ...
4
votes
1answer
59 views

Prove we can speak of the smallest normal subgroup containing any subset - Fraleigh p. 143 14.31,32

http://www.auburn.edu/~huanghu/math5310/alg-hw-ans-13 (I think).pdf Apologies if I missed some backslashes which are induced by InftyReader version 2.9.7.2. Does ...
0
votes
0answers
33 views

Can we reduce this matrix to the identity, which contains binomial elements?

We are given a function: $$f(a,b,m) = \binom{n}{b}\binom{n-b}{a}\binom{n-a-b}{m-a}$$ We can suppose we have the following $(n/2)^2 \times (n+1)$ matrix (form), that we wish to find the value for the ...
0
votes
1answer
67 views

Question about statement of Rank Theorem in Rudin

Theorem Suppose $m,n,r$ are nonnegative integers, $m\ge r, n\ge r$, $F$ is a $C^1$ mapping of an open set $E\subset \mathbb{R}^n$ into $\mathbb{R}^m$, and $F'(x)$ has rank $r$ for every $x\in E$. ...
2
votes
0answers
44 views

Intuition behind a proof showing a square is homeomorphic to a quotient of an interval

There's a rather simple proof for the following theorem: There exists an equivalence relation $\sim$ on the unit interval $I=[0,1]$ such that the quotient $I/{\sim}$ is homeomorphic to the unit ...
0
votes
0answers
12 views

Can we prove that this tabular algorithm works correctly?

Finding an answer to the following question is very important, because it will help prove an algorithm works correctly. It is also extremely hard to explain, so I'm hoping that someone will help me ...
1
vote
1answer
66 views

intuitive interpretation of Lie algebra

As you know, the isomorphism between $SO(2)$ and $e^{i\theta}$ allows an intuitive visualization of the Lie algebra $\mathfrak{so}(2)$ as the line $ti$. I wanted to know if there was a similar ...
3
votes
1answer
41 views

Difference between the simplicial nerve and the nerve of a simplicial category

In Jacob Lurie's Higher Topos Theory book, he defines the following notion of a simplicial nerve: Definition 1.1.5.5. Let $\mathcal{C}$ be a simplicial category. The simplicial nerve ...
4
votes
8answers
227 views

Evaluating $\int \frac{1}{\sqrt{x^2 + a^2}}\, dx$ without resorting to trigonometric $u$-substitution

I am looking for a quick and intuitive way to evaluate this indefinite integral without resorting to any trigonometric functions. I'm not sure if it is at all possible to do so, but I was just ...