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)

3
votes
2answers
28 views

Definition of Equivalent Norms

Two norms $F,G$ are equivalent when there are constants $a,b$ such that $aF \le G \le bF$. I'm reading about this idea, and so far I've seen that equivalence of norms implies that the underlying ...
2
votes
0answers
26 views

Hyperplane in a complex vector space

This is my first question on MSE, I'm sorry if there already exists similar questions, I couldn't manage to find it. My friend, who studies Physics, asked me about the meaning of "functional" so I ...
1
vote
2answers
46 views

Can someone help me understand this: integrating over a discrete set of points yields 0 under Lebesgue integral?

Suppose I had some linear function $f(x)$ and then I sampled the function over the integers to form $f(n)$, what would be the evaluation of the Lebesgue integral of $\int_\mathbb{Z_+} f(n) d\mu$? For ...
3
votes
2answers
340 views

If sup A < sup B, there exists an element b ∈ B that's an upper bound for A. (S.A. pp 18 q1.3.8)

My Figure: By definition of $\sup B$, $\sup B$ is an upper bound for $B$. Set $e = \sup B − \sup A > 0$. By Lemma 1.3.7, there exists an element $b ∈ B$ satisfying $\begin{align} & \sup B − ...
2
votes
5answers
61 views

Show that $\int x\mathrm{e}^{-\alpha x^2}\mathrm dx =\dfrac{-1}{2\alpha} \mathrm e^{-\alpha x^2}$ + Constant

I tried to do this integration by parts and got $\int x\mathrm{e}^{-\alpha x^2}\mathrm dx =\dfrac{-1}{2\alpha} \mathrm e^{-\alpha x^2} +\alpha\int x^3\mathrm{e}^{-\alpha x^2}\mathrm dx$ + constant. ...
1
vote
0answers
22 views

Disk in analytic topology vs. the spectrum of a Henselian DVR in etale topology

In this informative and concise set of notes on vanishing cycles by Donu Arapura, it is stated that the theory of vanishing cycles ports nicely to the etale world if the role of the disk is replaced ...
3
votes
1answer
68 views

A matrix as a point in $\mathbb{R}^{nm}$

I just had a really quick question to ask. I was reading a book on linear algebra and have just been trying to wrap my head around what exactly a matrix represents. At one point, the book said "In a ...
44
votes
6answers
6k views

Intuitive interpretation of the Laplacian

Just as the gradient is "the direction of steepest ascent", and the divergence is "amount of stuff created at a point", is there a nice interpretation of the Laplacian (a.k.a. divergence of gradient)? ...
3
votes
2answers
73 views

Elements of order $3$ in $\text{Aut}\left(\mathbb{Z}/91\mathbb{Z}\right)$

It looks like someone has already been here, but the question I have goes farther. To summarize my work, as well as the work in the above post, we know that ...
1
vote
1answer
25 views

Geometric interpretation of the derivative of a Bezier curve

For a given set of control points $b_0, b_1, \ldots, b_n$, the Bezier curve is defined as $$b^n(t) := \sum_{j=0}^n b_j B_j^n(t),$$ where $B_j^n(t):=\binom{n}{j}t^i(1-t)^{n-i}$ are Bernstein ...
2
votes
1answer
52 views

Intuition on the Representable Functor

Given a locally small category C, and an object $C$, the functor: \begin{equation} \mbox{Hom}_\textbf{C}(C,-):\textbf{C} \longrightarrow \textbf{Sets} \end{equation} that sends objects to hom-sets ...
24
votes
5answers
29k views

Why is the area under a curve the integral?

I understand how derivatives work based on the definition, and the fact that my professor explained it step by step until the point where I can derive it myself. However when it comes to the area ...
3
votes
2answers
1k views

Confusion about Banach Matchbox problem

While trying to solve Banach matchbox problem, I am getting a wrong answer. I dont understand what mistake I made. Please help me understand. The problem statement is presented below (Source:Here) ...
5
votes
2answers
215 views

Significance of homology groups of a topological space

I am studying homology groups of topological spaces. In books I have found that the $n$th homology group counts the number of "$n$-dimensional holes" which exist in that space. If I consider homology ...
2
votes
5answers
3k views

Not divisible by $2,3$ or $5$ but divisible by $7$

The question is to determine the number of positive integers up to $2000$ that are not divisible by $2,3$ or $5$ but are divisible by $7$. The answer is supposed to be $76$ but not sure how it was ...
2
votes
1answer
57 views

What are the Results of the First and Second Axioms of Countability?

What are the consequences of a space being first or second countable? What was the motivation for these axioms in the first place?
21
votes
1answer
375 views

What is the intuition behind generating functions? What makes them valuable?

I'm sorry if this question makes no sense. I have been reading generatingfunctionology and I have been able to solve the problems in the first chapters and I understand the mechanism I have to follow ...
16
votes
5answers
7k views

One divided by Infinity?

Okay, I'm not much of a mathematician (I'm an 8th grader in Algebra I), but I have a question about something that's been bugging me. I know that $0.999 \cdots$ (repeating) = $1$. So wouldn't $1 - ...
2
votes
1answer
144 views

Can I have a logical explanation for why this number is so ridiculously close to a whole number? [duplicate]

$$e^ {\pi\sqrt{163}}=262537412640768743.9999999999992\cdots$$ Why does this number run so incredibly close to a whole number? Can I have a logical explanation for why this finding? I know how to ...
70
votes
10answers
16k views

Intuition behind Matrix Multiplication

If I multiply two numbers, say $3$ and $5$, I know it means add $3$ to itself $5$ times or add $5$ to itself $3$ times. But If I multiply two matrices, what does it mean ? I mean I can't think it ...
0
votes
1answer
53 views

Is there a way to visualize, like a picture in mind, the $n$-th derivative?

Is there a way to visualize (like a picture in mind) the $n$-th derivative ? For $n=1$ is the tangent line and we can visualize it quite well. More abstractly is it possible to see the geometric ...
2
votes
3answers
51 views

Why does the division algorithm work for converting between number bases?

I know and have observed that the the division algorithm can be used to convert any number in the decimal system to the binary system. However, I have tried searching for an intuition of why this ...
7
votes
5answers
185 views

What exactly is a differential? [duplicate]

I've seen the formula for differentials alot, namely $$dy=f'(x)dx$$ but what I think when I see this is that someone is manipulating the "formula" $$f'(x)=\frac{dy}{dx}$$ When I think of ...
0
votes
6answers
2k views

Combinatorial proofs: having a difficult time understanding how to write them out

Can someone explain how combinatorial proofs work? I've included an example questions that's been giving me a hard time. Any insight on the topic would be great. $$\sum_{k=1}^{n}k{n \choose k} = ...
1
vote
1answer
374 views

Intuition - The Shortest Curve Between Two Points is a Line

The references below aver that the following is not crudely trivial: The shortest curve between two points is a (straight) line. An elementary school teacher construed it as follows ...
1
vote
1answer
49 views

(Visual) Intuition: Division and complex fractions

When treating division as "groups of the numerator" (sorry, I don't know the technical term -- see image), why does a complex fraction in the denominator get added together to produce a 1 (number of ...
3
votes
1answer
502 views

“Poissonization” and intuition

In a french book, "Calcul des probabilités" from Foata and Fuchs, I found this theorem, which they call "Poissonization". "Let $(I_k)_{k \in \mathbb{N}}$ be a sequence of independent variables with ...
3
votes
2answers
374 views

Questions on Proofs - Equivalent Conditions of Normal Subgroup - Fraleigh p. 141 Theorem 14.13

(1.) Why did Fraleigh shirk the proof for $(2) \implies (1)$? By dint of Arthur's comment, $(2) \iff \color{crimson}{gHg^{-1} \subseteq H} \quad \wedge \quad gHg^{-1} \supseteq H \implies ...
4
votes
1answer
71 views

Problem with Justifying the Formula for First Order Seperable Differential Equations

I am reading this text http://www.math-cs.gordon.edu/courses/ma225/handouts/sepvar.pdf to justify the method to solve first order seperable differentiable equations, where we are told first told that: ...
2
votes
3answers
173 views

Intuition — $c\mid a$ and $c\mid b$ if and only if $c\mid \gcd(a,b)$.

(1) ― What's the intuition? Is Bezout Identity supposed to be intuitive? (2) — Why doesn't this try work? Let $c$ be any common divisor of $a, b$. Therefore $c\mid a, c\mid b \iff cj_1 = a, cj_2 = ...
3
votes
1answer
88 views

$A^tA-AA^t$ in Mathematical Physics

In very different contexts of mathematical physics (rigid body mechanics, fluidodynamics, general relativity, quantum field theory,...) I have come across the following expression: $$ A^tA-AA^t, $$ ...
2
votes
1answer
116 views

An elliptic integral of first kind expresses the time of motion along an elliptic phase curve in the corresponding Hamiltonian system

Arnold in his essay On teaching mathematics made the following statement: The de-geometrisation of mathematical education and the divorce from physics sever these ties. For example, not only ...
5
votes
1answer
92 views

Heuristics of the sum of squared naturals $(1^2 + 2^2 + 3^2 \cdots + n^2)$

I'm new and this is my first question (though I've been lurking). English is not my native language. Studying on my own. I'm really interested in deriving the formula $1^{2} + 2^{2} + 3^{2} + \cdots+ ...
4
votes
1answer
236 views

What is the intuition of conjugacy classes?

How can I fully understand what are conjugacy classes are in groups? I know the definition, that $a$ and $b$ are conjugate if $gag^{-1}=b$ for some $g\in G$. But what is the intuition? Using a ...
3
votes
3answers
90 views

Explaining the meaning of equality

I've been tasked with explaining to a group of people what the notion of equality means in mathematics, I've come up with a working explanation, but would appreciate some input, suggestions etc. ...
1
vote
2answers
252 views

Problem in understanding a proof there are five Platonic solids.

Thanks to several comments by Gerry Myerson, it is now clear that I wasn't clear, up to a state where I seriously confused myself. In a renewed attempt: Recently, I've been thinking about Platonic ...
0
votes
0answers
58 views

How do I visualize this quotient space?

If $V = [0,1] \times [0,1] \subset \mathbb{R}^2$. We define the equivalence relation $\sim$ on $V$ as follows: every element $(x,y) \in V$ is equivalent with itself and besides that the three ...
1
vote
1answer
43 views

Verify $\frac {\partial B} {\partial T} =$ $\frac{c}{(e^\frac{hf}{kT}-1)^2}\frac{hf}{kT^2}e^\frac{hf}{kT}$

Find an expression for $\frac {\partial B} {\partial T}$ applied to the Black-Body radiation law by Planck: $$B(f,T)=\frac{2hf^3}{c^2\left(e^\frac{hf}{kT}-1\right)}$$ The correct answer (I believe) ...
0
votes
2answers
45 views

Show that $\frac {\partial B} {\partial T} =$ $\frac{c}{(\exp\frac{hf}{kT}-1)^2}\frac{hf}{kT^2}$

Find an expression for $\frac {\partial B} {\partial T}$ applied to the Black-Body radiation law by Planck: $$B(f,T)=\frac{2hf^3}{c^2\left(\exp\frac{hf}{kT}-1\right)}$$ The correct answer is $\frac ...
1
vote
1answer
295 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 ...
1
vote
1answer
62 views

Is there a physical interpretation of the alternating property?

A map from lists to list-elements is called "alternating" if any list with repeated elements is mapped to zero. This has statistical significance: regressions on collinear data are bad, dependent ...
0
votes
2answers
677 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 ...
0
votes
2answers
21 views

Intuition - For every % point that rates rise, a bond’s value will decline by its duration in years.

[Source:] Generally speaking, for every percentage point that rates rise, a bond’s value will decline by its duration (stated in years). So if rates climb by one percentage point, the value of a ...
2
votes
1answer
89 views

A math puzzle about slow clock

You have the misfortune to own an unreliable clock. This one loses exactly 20 minutes every hour. It is now showing 4:00am and you know that is was correct at midnight, when you set it. The clock ...
2
votes
0answers
22 views

Mixed vs Equal Characteristic Local Rings

This is more of a vague, intuitive type of question, so perhaps there isn't anything too concrete anyone can offer. I am trying to get a sense of precisely why working with local rings of equal ...
1
vote
1answer
26 views

Solving for a Binary Matrix: A somewhat unusual method needs justification, and mabye interpretation.

Introduction: Define a "Bit Map" to be a matrix whose entries can only be $0$ or $1$. Then numbers above and beside each column and row indicates how many entries are "filled" with a one. For ...
0
votes
2answers
39 views

Diagonally dominant matrix — geometric interpretation

I like to have a visual interpretation of mathematical concepts. This is simple for many important kinds of matrices: orthogonal matrices are rotations, diagonal matrices scale along the natural ...
3
votes
1answer
48 views

Tangent space as derivations exercise

Thinking of the tangent space to a manifold as derivations is a concept which just kind of eludes me. I am comfortable thinking about tangent vectors as equivalence classes of curves and with the ...
0
votes
0answers
13 views

Examples of Relation Algebras

Would anyone please direct me to a host of examples of relation algebras. Is there an intuition for what these algebras are to model? That is, groups, for example, model a notion of symmetry; ...
60
votes
13answers
5k views

Intuitive explanation of Cauchy's Integral Formula in Complex Analysis

There is a theorem that states that if $f$ is analytic in a domain $D$, and the closed disc {$ z:|z-\alpha|\leq r$} contained in $D$, and $C$ denotes the disc's boundary followed in the positive ...