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
37 views

Is there an intuitive reason why hippopede, the intersection curve of a sphere and a cylinder, is traced by composing two rotational motions?

The hippopede is historically famous because Eudoxus used its properties in the first mathematical model of planetary motion. He nested concentric spheres rotating at different inclinations to each ...
0
votes
1answer
60 views

The set $\omega \times \omega$ is equinumerous with $\omega$.

Proposition: The set $\omega \times \omega$ is equinumerous with $\omega$, i.e. the set $\omega \times \omega$ is countable. "Intuitive Proof" $$\mathbb{N}^2=\{ (n,m): n,m \in \mathbb{N} \}$$ $$1 ...
0
votes
0answers
53 views

Is my intuition on projectivization correct?

Is my intuition on what a projectivization of an affine curve in $C^2$ is and why it is useful correct? From what I understand given an affine curve $C$ we are trying to find a projective curve ...
2
votes
2answers
53 views

Clifford Algebras for Projective and Conformal Geometry

According to Clifford Algebra: A Visual Introduction, A Clifford Algebra over $\mathbb{R}^3$ may describe the rigid motions in space (namely, conjugation acts as a reflection by a plane). A ...
3
votes
1answer
95 views

Meaning of a long exact sequence

Edit: The setting for the question is some abelian category. From this question I learned that one way to view a short exact sequence $$0\rightarrow A\rightarrow B\rightarrow C\rightarrow 0$$ is as ...
4
votes
4answers
150 views

Connections between the solution of simple ordinary equation, normal distribution and heat equation

The solution to the following simple first-order linear ordinary differential equation: $$x'=-tx, x(0)=\frac{1}{\sqrt{2\pi}}$$ is the Standard normal distribution! One solution to another famous ...
1
vote
1answer
45 views

Rotman, Algebraic Topology, Lemma $4.22$

Lemma 4.22. Let $X$ be a space and, for $i=0,1$, let $\lambda _i:X\rightarrow X\times I$ be defined by $x\mapsto (x,i)$. If $H_n (\lambda _0)=H_n(\lambda _1)$, then $H_n(f)=H_n(g)$ whenever ...
1
vote
3answers
52 views

Intuition behind definition of limit of sequences at infinity with example

The definition given is for every $c>0$, there exists an N such that $a_n$>c for all $n>N$ Please could someone explain this is really basic terms as im struggling to get my head around it. ...
0
votes
1answer
38 views

Homotopy Invariance: Cone Construction and Prisms Operators

I'm looking at different approaches to proving the homotopy invariance of homology. Rotman and Dieck both mention "the cone construction", but hatcher only introduces the prism operators and does not ...
1
vote
0answers
39 views

Substructure of $\omega$-catogorical theory $T$.

I need some help understanding part of my Model Theory notes: "Given that $T$ is $\omega$-categorical and $\mathfrak{A} \vDash T$, for $S \subseteq A$, let $\langle S\rangle$ denote the smallest ...
0
votes
2answers
118 views

How can I understand $\Bbb Z\times \Bbb Z/2\Bbb Z$

This may be stupid request, but I would like to have a intuition for the group $\Bbb Z\times \Bbb Z/2\Bbb Z$ in terms of 'real' objects. 'Real' could mean geometric but not necessarily. I perhaps what ...
0
votes
3answers
128 views

Why is $(AB)^{-1}=A^{-1}B^{-1}?$ [closed]

If we have two matrices $A$ and $B$ then the following property is true. $$(AB)^{-1}=A^{-1}B^{-1}.$$ I can't understand how the property is true. Can anyone give me a intuitive proof for the ...
2
votes
1answer
100 views

Modern treatment of Topology that focuses on intuition and is full of explanations and visual insights.

I'm interested in a modern treatment of Topology (point-set, and general topology at the undergraduate level) that focuses on intuition and is full of explanations and visual insights. This will be ...
17
votes
1answer
213 views

How are long proofs “planned”?

I just graduated with my bachelors in mathematics last year, so I have little experience in writing huge, very involved proofs. The longest proof I've ever written was about 10 pages, but it wasn't ...
0
votes
1answer
67 views

How to prove this using natural deduction

⊢ P ∨ ¬P I found this question on the net. I know the solution but i find it complicated. How should i approach to this sort of question? Or can you provide me another solution ?
0
votes
0answers
24 views

Parallel Programming the 1-D dam breakage problem

I am to write a parallel program to simulate the 1D dam break problem by using the Galerkin Equations with WENO limiter. The equations are on domain [0,2000]. At the beginning a dam divides the ...
2
votes
1answer
82 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 ...
1
vote
0answers
43 views

Why do repeated linear factors have to be dealt with in this way?

When dealing with partial fractions, and your denominator has a repeated linear factor, the way to solve is this: $\frac{2x+3}{(x-2)^2}=\frac{A}{(x-2)^2}+\frac{B}{(x-2)}$ $2x+3=A+B(x-2)$ and so on. ...
2
votes
7answers
258 views

How the cardinality of $\mathbb{R^+}$ and $\mathbb{R}$ same?

Let me first confirm you that this question is not a duplicate of either this, this or this or any other similar looking problem. Here in the current problem I'm asking to disprove me(most probably ...
3
votes
3answers
69 views

Let $z_1$, $z_2$ and $z_3$ be complex vertices of an equilateral triangle. Show $z_1^2 + z_2^2 + z_3^2 = z_1 z_2 + z_2 z_3 + z_3 z_1$.

Prompt: Let $z_1$, $z_2$ and $z_3$ represent vertices of an equilateral triangle in the complex plane. Show $z_1^2 + z_2^2 + z_3^2 = z_1 z_2 + z_2 z_3 + z_3 z_1$. Question: I hope the following ...
4
votes
1answer
75 views

Why is this intuitive method valid?

Problem. There are $2$ white and $3$ black balls in the urn. A person randomly picked $2$ balls and put $1$ white ball. What is the probability of the event that the next randomly-picked ball would be ...
1
vote
2answers
139 views

How to upgrade Category Theory skills for Algebraic Geometry?

I am doing a second advanced graduate course in Algebraic Geometry, with Hartshorne as a textbook. The skillset I am least satisfied with is the application of the Category Theory to Algebraic ...
8
votes
2answers
68 views

How do I close the gap between intuitively knowing something is true vs being able to prove it?

For example, one of my review problems is: Let $S_k$ be the kernel of $T^k$. Show there is a $K$ such that $S_K = S_{K+1} = \cdots$ Somewhere in the back of my brain there's an intuition that told ...
0
votes
2answers
63 views

How to visualize(inside ones brain) the Four-dimensional_space

Can the fourth dimension https://en.wikipedia.org/wiki/Four-dimensional_space be visualized intuitively by the humans. Does the professional mathematicians can do this ? If so what are the things to ...
28
votes
12answers
483 views

Nonobvious examples of metric spaces that do not work like $\mathbb{R}^n$

This week, I come to the end of the first year analysis, and suffer from a "crisis of motivation." With this question, I want to chase away my thought, "Why is it important to study the general ...
0
votes
2answers
23 views

Intuition for using vectors in sale related problems

I am reading Linear Algebra from David Lay's book. He gives one example to showcase use of linear combination of vectors : I understand the solution, but I am completely clueless about how to ...
0
votes
5answers
220 views

Why does the sum of the reciprocals of factorials converge to $e$?

I've been asked by some schoolmates why we have $$ \sum_{n=0}^\infty \frac{1}{n!}=e.$$ I couldn't say much besides that the $\Gamma$ function, analytic continuation of the factorial, is defined with ...
3
votes
3answers
260 views

Is there a notion in mathematics saying that, in a sense, all finite dimensions are actually infinite dimensional?

So then every ordered pair or triplet and so on would be actually represented by an infinite sequence of numbers, and what we think of as 3 dimensions would mean that the point has an infinite number ...
0
votes
0answers
22 views

Steady state state distributions.

I am looking for a less "proofy" explanation of how a finite, irreducible, aperiodic Markov chain has a unique steady state $\pi$. No need define terms or include proofs of Bezout's lemma or number ...
1
vote
0answers
28 views

Gradient points in the direction of greatest change

Can anyone provide me with an alternative, possibly more intuitive proof of this proposition? I'm confused with where $cos\theta$ has come from?
0
votes
1answer
55 views

Non- intuitive connected space.

There exist knowing examples of connected spaces such that its picture is a counter intuitive for us?. I mean a topology on a set who makes see the space as connected (no connected) but it is no ...
5
votes
2answers
102 views

Why does taking completions make number fields simpler?

I'm currently taking a course on Local Fields, and the local-theoretic picture seems to be significantly simpler than that of number fields. For example, If $K$ is a finite extension of $\mathbb ...
9
votes
3answers
277 views

Intuitive understanding of the uniqueness of the Fundamental Theorem of Arithmetic.

Basically I am trying to understand why Fundamental Theorem of Arithmetic (FTA) exists, i.e why a natural number cannot be factored primely in two or more different ways. There are two proofs given ...
3
votes
1answer
95 views

Motivation and examples for ramification

I started learning algebraic number theory, but it seems like all the sources I had are too abstract, giving me difficulty understanding the concept and tripping me up frequently. For today it is ...
0
votes
1answer
29 views

How to find the multiplicity of weight in a Verma module?

In particular, let $\mathfrak g$ be the semisimple Lie algebra of type $A_{2}$ et let $\alpha,\beta$ be its simple roots. How can the multiplicity of weight $-2\alpha -3\beta$ be calculated in the ...
4
votes
2answers
145 views

Geometric Interpretation of Antiderivative?

Could someone please give me a geometric interpretation of the above theorem?
3
votes
2answers
149 views

Geometric interpretation of Cauchy-Goursat Theorem?

This theorem seems almost magical. The algebraic derivation doesn't really provide any insight into why it works. So could someone give me a geometric interpretation of it? This: Geometrical ...
6
votes
1answer
151 views

Geometric interpretation of analyticity?

Suppose the real valued functions $u(x,y)$ and $v(x,y)$ are continuous and have continuous first order partial derivatives in a domain $D$. If $u$ and $v$ satisfy the Cauchy Riemann equations at ...
3
votes
3answers
106 views

Self-studying Russell's Paradox

I'm self-studying and having trouble wrapping my head around Russell's paradox, even after looking here. I'd really appreciate a more intuitive explanation of the concept before I move on to ...
5
votes
3answers
72 views

Intuitive understanding of path integral formula

I have learned a general formula for a path/line integral $$ \int_a^b f\left(\mathbf{r}(t)\right) \|\mathbf{r}'(t)\|\ dt \tag{1} $$ and I'm trying to better understand it. Specifically, I'm ...
0
votes
1answer
54 views

Proof and interpretation of $\mathbb{E}[\mathbb{E}[X \mid Y, Z] \mid Z] = \mathbb{E}[X \mid Z]$

First, I understand that $\mathbb{E}[X] = \mathbb{E}[\mathbb{E}[X \mid Y]]$, but how to prove that $$\mathbb{E}[\mathbb{E}[X \mid Y, Z] \mid Z] = \mathbb{E}[X \mid Z]?$$ Second, for ...
2
votes
1answer
30 views

Why is $x$ restricted this way? (limits of functions)

Here is a corollary from Ross' Elementary Analysis: Why is $x$ restricted this way?
3
votes
4answers
435 views

What does continuity *in general* mean?

I am looking from : http://en.wikipedia.org/wiki/Lipschitz_continuity Continuously differentiable $\subseteq$ Lipschitz continuous $\subseteq$ α-Hölder continuous $\subseteq$ uniformly continuous ...
1
vote
1answer
79 views

Why is conic isomorphic to $\mathbb{P(C^2)}$?

Given a quadratic form $C(x)=x_1 ^2+x_2 ^2 + x_3^2$ in $\mathbb{C}[x_1,x_2,x_3],$ we have a conic $$C=\{C(x)=0\} = \{[x_1:x_2:x_3]: x_1 ^2+x_2 ^2 + x_3^2 = 0\}$$ in $\mathbb{P(C^3)}$, given in ...
2
votes
1answer
42 views

Why is an open interval needed in this definition? (definition of a limit of a function)

Here's a part of the definition Ross' Elementary Analysis states for limits of a function: 20.3 Definition (a) For $a\in\mathbb R$ and a function $f$ we write $\lim_{x\to a} f(x)=L$ provided ...
0
votes
4answers
159 views

Two plus two equals four when earth has one moon?

As is well known, we have the least intuitive of basic operations, the 'implication' or '=>'. Consider 'A => B'. Most beginners get stumped on the vacuous truth, that implication could be true even ...
3
votes
1answer
152 views

Quick Question on a Proof of Artin-Wedderburn Theorem

Question [Edited]: [See below.] Are the isomorphisms in $(1)$ and $(2)$ (additive) group homomorphisms? If I'm right, $\text{End}_R(M)$ is a ring, but ...
5
votes
2answers
84 views

Intuition behind sum of multiplication arithmetic sequence

Maybe this is a stupid question but please guide and enlighten me patiently. I have just known something fact that quite shocking me. Let start from this simple fact $$\sum_{k=1}^n ...
1
vote
2answers
35 views

Smallest open, dense, G-invariant subset of a metric space

Let $X$ be a metric space and $G$ be a topological group acting continuously on $X$. Let $ \mathcal S $ be the set of open, dense and $G$-invariant subsets of $X$. I need to take inverse limit (of ...
0
votes
1answer
56 views

How to visualize $ \mathcal P \ ( \ \mathcal P \ ( \ \mathbb R ^2 \ ) ) $?

So,$ \ \mathcal P \ ( \ \mathbb R ^2 \ ) $ , the power set of the set of all ordered pairs of real numbers, contains every imaginable (2D) function, black and white image and text as per its ...