For questions about the motivation behind mathematical concepts and results. These are often "why" questions.

learn more… | top users | synonyms

7
votes
1answer
415 views

What is the significance of limit points?

When I had my first taste of topology a couple of years ago, our lecturer emphasized the following notions. closed set, closure, closure point open set, interior, interior point Of course, these ...
7
votes
1answer
226 views

Can we capture all domains of discouse in the predicate logic within categorical logic?

In the construction of the bounded quantifiers via adjoints in the fibered category of subsets over a set (see e.g. here on Wikipedia), is there any restriction on the sets - specifically regarding ...
7
votes
1answer
89 views

Motivation behind parameters

This article shows a technique of evaluating a definite integral by introducing a suitable parameter. This however doesn't throw light on motivation for introducing that particular parameter. For ...
6
votes
3answers
326 views

Finitely generated ideal in Boolean ring; how do we motivate the generator?

This problem is Exercise 11.3 in Atiyah/Macdonald Commutative Algebra. They ask to prove every finitely generated ideal in a Boolean ring is in fact a principal ideal. The question has been answered ...
6
votes
2answers
1k views

Why do we need (the abstract concept of) random variables (in discrete probability models)?

What we defined: Suppose we have a (discrete) probability model $\left(\Omega,P\right)$, where $P$ is the probability function (at least, that was the way it was introduced in a course I took; that ...
6
votes
1answer
463 views

A layman's motivation for non-standard analysis and generalised limits

Disclaimer: My apologies for making such a long question. The question is possibly also rather specific, but I hope that (some parts of) it might be useful in general. Background: I have recently ...
6
votes
1answer
153 views

What is the motivation to continuous functions and measurable functions?

In topology the objects of interest are the space open sets, and a function will be continuous if the inverse image of any open set is an open set. In measure theory the objects of interest are the ...
6
votes
3answers
1k views

Quaternions vs Axis angle

Whats the use of representing rotation with quaternions compared to normal axis angle representation? I've been trying to learn quaternions and they make enough sense but as far as I can tell ...
6
votes
1answer
108 views

Recovering the structure of an object from its morphism:Yoneda Lemma

I've heard that Yoneda lemma informally states that one can recover the internal structure of an object by looking at the morphism coming out from that object. But this is not clear to me from the ...
6
votes
1answer
83 views

Motivation for and differences between properties of measure, outer measure

This is related to my measure theory class, but it's not homework. The motivation behind this post is to understand the big picture relationship between properties of measure and outer measure. I ...
6
votes
1answer
211 views

Do expressions like $(-1)^{2/3}$ show up naturally in pure or applied math?

Background. Let $x$ denote an arbitrary real number. Then $x^n$ can be defined for each $n \in \mathbb{N}$ as follows: $$x^n = \underbrace{x \times \cdots \times x}_n$$ If $x$ is furthermore ...
6
votes
1answer
103 views

The significance of the composition of an operator and its adjoint

As I read the literature, I have noticed that the composition $T^*T$ of a linear operator $T:H\to H$ and its adjoint frequently turns up in all kind of places. I am aware that it is Hermitian (at ...
6
votes
0answers
74 views

Why do we care about non-$T_0$ spaces?

(Reminder: A $T_0$ topological space, also known as a Kolmogorov space, is a space where the topological structure "recognizes" that different points are different: No two points have exactly the same ...
6
votes
0answers
253 views

What are the advantages of proof-relevant mathematics?

I've read that Theorems in HoTT (homotopy type theory) tend to characterize the space of proofs of a proposition, rather than simply state that the corresponding type is inhabited. So, HoTT ...
6
votes
2answers
260 views

What is the physical meaning of fractional calculus?

What is the physical meaning of the fractional integral and fractional derivative? And many researchers deal with the fractional boundary value problems, and what is the physical background? What ...
5
votes
6answers
557 views

What is the point of quadratic residues?

What is the most motivating way to introduce quadratic residues? Are there any real life examples of quadratic residues? Why is the Law of Quadratic Reciprocity considered as one of the most ...
5
votes
5answers
475 views

About Trigonometry

Is there anything cool about trigonometry? I was just curious. I'm learning trig right now and I often find myself asking myself, "What's the point?" I feel if I knew what I was working on and why, ...
5
votes
2answers
493 views

Motivation for the study of the Chern connection

Given a Hermitian metric $H$ over a holomorphic vector bundle $E$ with holomorphic structure $\overline{\partial}$, there exists a unique connection $\nabla$ (named afer Chern) satisying the following ...
5
votes
3answers
300 views

What is the point of extremal epimorphisms in category theory? Why not just use strong epis instead?

I've been trying to get my head around the various types of epimorphisms you get in category theory, but I can't see why anyone uses "extremal" epis as opposed to the slightly less general notion of ...
5
votes
1answer
179 views

What can we actually do with congruence relations, specifically?

Let $T$ denote a Lawvere theory and $X$ denote a $T$-algebra. Under my preferred definitions: A subalgebra of $X$ consists of a $T$-algebra $Y$ together with an injective homomorphism $Y ...
5
votes
1answer
323 views

Traveling salesman problem: why visit each city only once?

According to wikipedia, the Traveling Salesman Problem (TSP) is: Given a list of cities and the distances between each pair of cities, what is the shortest possible route that visits each city ...
5
votes
1answer
801 views

Why is unique ergodicity important or interesting?

I have a very simple motivational question: why do we care if a measure-preserving transformation is uniquely ergodic or not? I can appreciate that being ergodic means that a system can't really be ...
4
votes
3answers
330 views

Motivation for the Mapping Class Group

Question: What is the motivation for studying the mapping class group? In particular, what types of questions does it attempt to answer and what kind of invariant is it? Motivation for this ...
4
votes
5answers
483 views

Why - not how - do you solve Differential Equations? [closed]

I know HOW to mechanically solve basic diff. equations. To recap, you start out with the derivative $\frac{dy}{dx}=...$ and you aim to find out y=... To do this, you separate the variables, and ...
4
votes
2answers
845 views

What is the importance of the spectral theorem?

I know that the spectral theorem tells us that in the case of a real inner product space, an operator is self adjoint if and only if there is an orthonormal basis with only eigenvectors of that ...
4
votes
2answers
87 views

Why are functional analysts interested in not only the point spectrum of $f$, but also, its spectrum?

Suppose $\mathbb{K}\in \{\mathbb{R},\mathbb{C}\},$ that $X$ is a Banach space over $\mathbb{K}$, and that $f : X \leftarrow X$ is a bounded linear transform. Then the spectrum of $f$ is defined as the ...
4
votes
1answer
134 views

Why doesn't the definition of (model-theoretic) conservative extension need strengthening?

In the wikipedia page dedicated to conservative extensions, we find the following sentence: $T_2$ is a model-theoretic conservative extension of $T_1$ if every model of $T_1$ can be expanded to ...
4
votes
2answers
150 views

Why a norm and not some other function that defines a metric?

If one defines on a $\mathbb{R},\mathbb{C}$-vector space a norm this gives rise to a metric. Why are particularly mappings that satisfy the norm axioms so important that in every book for beginners on ...
4
votes
1answer
71 views

What is the significance of “Homomorphism”?

Certainly Homomorphism is a prerequisite to establish an “Isomorphism”(Bijection), but what does a Homomorphism tell independently when it is established between two sets? Homomorphism relates ...
4
votes
1answer
180 views

What is a motivation for this theorem and what is an example this theorem is applied?

If one doesn't know a motivation, it's hard to memorize such a theorem. So do I. Rudin RCA p.30 Let $(X,\Sigma,\mu)$ be a measure space such that $\mu(X)<\infty$ and $f\in L^1(\mu)$. ...
4
votes
1answer
562 views

Motivation for studying quadratic algebras, Koszul algebras, Koszul duality

I'm trying to gain a practical understanding of Koszul duality in different areas of mathematics. Searching the internet, there's lots of homological characterisations and explanations one finds, but ...
4
votes
1answer
64 views

Applications of the completeness of $L^1$

I'm teaching a measure theory class. I think one of the main motivations for the development of the Lebesgue integral is that the space $L^1(\mathbb{R})$ of integrable functions on $\mathbb{R}$ is ...
4
votes
0answers
71 views

What was the genesis of Hua's identity?

Many resources I have read prove Hua's identity more-or-less mechanically. I have seen there is more than one raison d'être for Hua's identity: e.g. its connection to the fundamental theorem of ...
4
votes
2answers
126 views

Motivation for separation axioms

I have recently been studying different separation and countability axioms in topology. I am looking for a motivation for why such a refined division of different axioms was made and is studied. I am ...
4
votes
2answers
88 views

Do coalgebras arise outside the study of bi/Hopf-algebras?

Hopefully the title is fairly self explanatory. I'm curious as to whether the coalgebra structure (that is, a vector space with a comultiplication and counit) comes up an any area of mathematics not ...
3
votes
5answers
139 views

How to make sense out of the $\epsilon-\delta$ definition of a limit?

The informal intuition for the limit of a function is this: What is the value of the function $f$ as $x$ gets infinitely close to $c$? How on earth does this monster $$ \lim_{x \to c} f(x) = L ...
3
votes
2answers
356 views

Relation between long exact sequences and Derived functors

I know that if i have a short exact sequence of chain complexes $$0\rightarrow A\rightarrow B\rightarrow C\rightarrow 0$$ then i can extend it to long exact sequence of homology groups as ...
3
votes
2answers
127 views

Motivation for abstractness

I'm seeking examples of concepts or theorems in school mathematics that are better understood when we generalize (when we deal with a more abstract concept where the former concept is a special case ...
3
votes
1answer
117 views

New ways to light the fire again

Recently I've been studying a lot of analytic geometry and this subject made my motivation drop. The thing is, the courses aren't stopping and I'm beginning to lose the passion I had before. I need ...
3
votes
1answer
454 views

Intuition behind the definition of Adjoint functors

I think of adjoint functors as some sort of inverses. So, the first part of the definition looks reasonable that there exists natural transformations $$\epsilon : FG \rightarrow 1_C$$ $$\eta : 1_D ...
3
votes
1answer
145 views

What motivates the definition of a ring in abstract algebra? [closed]

I've read a lot of questions about rings but I still don't know why they are useful/ I'm sure they are, but I don't know why. Are their properties somehow used in proofs or as foundations for ...
3
votes
2answers
173 views

Ordinals - motivation and rigor at the same time

Can someone provide a description of ordinals within ZFC in a rigorous way that exhibits motivation? Every description or explanation I see in the literature or on the Internet is either too formal ...
3
votes
2answers
125 views

Use of $\mathbb N$ & $\omega$ as index sets

Why all the properties of a sequence or a series or a sequence of functions or a series of functions remain unchanged irrespective of which of $\mathbb N$ & $\omega$ we are using as an index set? ...
3
votes
6answers
188 views

Motivation for creation of complex exponentiation

I am curious how mathematicians came to develop complex exponentiation. How is the rule for complex exponentiation derived?
3
votes
1answer
130 views

What is the motivation/applications for the definition of Lebesgue measure on $\mathbb R^n$?

The definition of the Lebesgue measure on $\mathbb R^n$ is fundamentally tied up with the following assumption: The measure of the cartesian product of $n$ intervals should be the product of the ...
3
votes
2answers
173 views

Why are special numbers important? (Such as fermat prime, mersenne prime)

Whenever I studied topics in mathematics, I found those topics are important in purely mathematical sense and I could see some motivations. However, I cannot see neither motivation nor importance of ...
3
votes
3answers
458 views

Intuition behind independence & conditional probability

This is a basic question. I have a good intuition that $A$ is independent of $B$ if $P(A \vert B) = P(A)$, and see how you can easily derive from this that it must hold that $P(A,B) = P(A)P(B)$. ...
3
votes
1answer
26 views

Why are differential equations with sinusoidal source terms easier to solve than others?

I am a software engineer trying to wrap my tiny human brain around Fourier Transforms for a project I'm currently working on. Although I will ultimately use an open source Math library to do all the ...
3
votes
1answer
101 views

Motivation and application for stochastic geometry.

I am starting a PhD, and there is a good chance that my project will be oriented in the study of random polytopes or/and random mosaics. I was wondering what are the motivations and applications of ...
3
votes
1answer
65 views

Why Frobenis concerned the groups which today called “Frobenius Group”?

From their work, it seems that the Ancient mathematicians were investigating a mathematical object not as a fun, but to solve some problem occurred in earlier work of someone. Lagrange, Galois, Abel ...