Questions to get the "big picture" about a subject.

learn more… | top users | synonyms

1
vote
0answers
167 views

Why would I learn modern category theory if my interest mainly is structured sets, what would I have to gain? [on hold]

A long time ago I studied mathematics at the University of Stockholm. I had a romantic view of modern algebra and manage to make the first two algebra courses by self studies in order to immediately ...
2
votes
0answers
138 views

Are all theorems usable? [closed]

The (revised) question to answer: Can anyone give an example of a serious proof using this funny (revised) theorem? For any natural number $n$ and prime $p<n-1$ there exist a prime $q$ ...
4
votes
1answer
35 views

Problems reducible to polynomial root finding

In the past, I have noticed several problems for which the solution goes something like this: Reduce the problem to a polynomial equation Find the roots of the polynomial Interpret appropriately in ...
0
votes
1answer
61 views

Theoretically, can mathematical equations be used to graph any picture imaginable? [duplicate]

I know that quadratic formulas make parabolas, linear makes straight lines and sin, cos and tan make cool curves but after messing around with WolframAlpha and online equation graphing tools I can ...
0
votes
1answer
29 views

Combinatorial interpretation of multinomial function. [closed]

Given $n$ items if we pick $k$ we use binomial function. What is the analogy with multinomial function?
0
votes
1answer
42 views

Significance of Rank of Matrix

Why we determine the Rank of Matrix ? Instead of this just asking for my info : What is the easiest way to find Rank of Matrix ?
3
votes
1answer
51 views

Foliations vs Laminations

What's the big difference/similarity between foliations and laminations? What kind of theorems hold for both of them? Is there something that makes them essentially the same/different?
7
votes
2answers
86 views

Algebraic topology & Riemannian geometry project idea?

I'm taking a first course on Riemannian geometry this semester. For a final project, I would like to do something that involves algebraic topology. However, the only results I know in algebraic ...
9
votes
1answer
82 views

Categorical formulations of basic results and ideas from functional analysis?

I'm taking a first (undergrad) course on functional analysis. Though the material is nice, the approach seems very ad hoc and in a sense, near-sighted (?). I was wondering whether the/a big picture ...
2
votes
0answers
87 views

Synthetic differential geometry and algebraic geometry

I am reading here and there about basic synthetic differential geometry. One of the central ideas seems to be that it should be developed in a suitable topos, hence, in particular, a cartesian closed ...
3
votes
1answer
37 views

Geometric intuition for homotopy invariance of fiber bundles?

There's a nice result in algebraic topology saying that given a fiber bundle, its pullbacks along homotopic maps are isomorphic as bundles. Thinking of a bundle as a comb with the "teeth" as its ...
7
votes
1answer
2k views

Eilenberg–Zilber as abstract nonsense - why is it important?

The Eilenberg–Zilber theorem in singular homology, relating the monoidal structure of the category of chain complexes with the chain complex of the cartesian product of the underlying spaces, is used ...
5
votes
2answers
351 views

The magic of the morphisms

Given a set $X$. Let $S\subseteq X$ and consider $(X,S)$ as a very simple mathematical structure, lets call it a spotted set in analogy with pointed sets. Given two spotted sets, then a morphism $\...
3
votes
0answers
35 views

Moving from sheaves over spaces to sheaves over sites

The first example of a sheaf that I have consciously come across is the sheaf of continuous (real) functions on some topological space. The fact it is a sheaf is equivalent to the pasting lemma, which ...
2
votes
0answers
36 views

A question on Axiom XI of Veblen's paper on the axioms of geometry

Recently I have started reading Oswald Veblen's A System of Axioms for Geometry. There it is written that (see page 346), Axiom XI. If there exists an infinitude of points, there exists a certain ...
12
votes
0answers
188 views

How does the internal language of a topos come to be?

There are several books and articles on topos theory which mention the internal language, but I can't manage to see the big picture from any of them. I would like a soft explanation of how the ...
1
vote
2answers
73 views

Extracting an infinite subsequence

Suppose that $\{a_i\}_{i\in\Bbb N}$ is a sequence of real numbers such that for any $i\in\Bbb N$, there exists $j\in\Bbb N$ with $j>i$ and $a_j>a_i$. How to prove that $\{a_i\}$ contains an ...
2
votes
1answer
64 views

Naive categorical question about prime numbers, primes, and irreducibles

My question is about the "right" way to think of prime numbers/elements. Looking at primes in $\mathbb Z$, there are two ways of characterizing them: $p$ is prime iff its only divisors are $\pm 1,\...
6
votes
1answer
67 views

Are all instances of torsion special cases of the same concept?

The concept of 'torsion' pervades mathematics. As far as I know the origin of the word is in algebraic topology where it was used to describe chains $\gamma$ which are not boundaries but such that $2\...
4
votes
1answer
101 views

Geometric justification for the prime spectrum and “generic points”

I realize there have been plently of discussions about this, but most of them are over my head and I never understand the geometric intuition behind them. I'm trying to make a big list of "...
5
votes
3answers
146 views

Is it possible for extremely ingenious but elementary proofs for famous problems to exist?

As Erdős put it, "Mathematics is not ready for such problems." when faced with the great conjecture of Collatz. So is it impossible altogether for simple but ingenious proofs for famous problems ...
1
vote
0answers
84 views

Homology/cohomology for the uninitiated [closed]

I have heard of (co)homology occurring in many mathematical contexts and I vaguely suspect that it non-trivially relates different subjects. Also that it somehow relates to category/topos theory, ...
4
votes
1answer
56 views

Geometric intuition for left/right exactness

Sheaf cohomology measures the obstruction of the global section functor from being exact. Since it's left exact, it is exact iff it preserves epis. In particular, $H^1$ measure the failure to be ...
7
votes
0answers
87 views

Geometric intuition for coherent rings, modules, and sheaves

Throughout, all rings are commutative. Definition 1. A ring $R$ is coherent if the solutions $\mathbf x=(x_1,\dots,x_n)$ to a linear equation $\mathbf{rx}=0$ are a finitely generated $R$-submodule of ...
37
votes
2answers
2k views

How and why does Grothendieck's work provide tools to attack problems in number theory?

This is probably a horrible question to experts, but I think it is reasonable from someone who knows nothing. I have always been fascinated with Grothendieck and the way he did mathematics. I've ...
7
votes
1answer
354 views

Recommendations for an “illuminating” (explained in the post) group theory/abstract algebra resource?

I recently asked a question regarding why homomorphisms and isomorphisms are important. The best answer to that question was actually a comment, which referred me to Brian M. Scott's answer here: http:...
2
votes
2answers
54 views

Understanding group homomorphisms and isomorphisms conceptually

This is a question similar to: Understanding the Laplace operator conceptually Homomorphisms and isomorphisms are easy to define: 1) given two groups $(G, *)$ and $(H, \cdot)$, a homomorphism is a ...
0
votes
1answer
21 views

Directional Derivatives With Respect to Negative Vectors

I understand this is probably a silly question but I'm with it struggling nonetheless. Consider the directional derivative of $f(x)=x^2$ at $x=1$ with respect to $u=-1$. I can see that this is equal ...
1
vote
0answers
34 views

GRH versus RH - Big picture

What is the relation between generalized Riemann Hypothesis and Riemann Hypothesis? Does proving one have implication the other? Are there results which implies failure of one to failure of other? ...
2
votes
1answer
117 views

A question on the generalization of Cartesian Product

In Halmos’s Book, it is written that, The notation of families is the one normally used in generalizing the concept of Cartesian product. The Cartesian product of two sets $X$ and $Y$ was defined ...
2
votes
1answer
180 views

A map $h:S^1\to X$ Induces a Trivial Homomorphism of Fundamental Groups Iff it is Nullhomotopic.

I recently started reading Algebraic Topology from Part II of Munkres' book Topology(Second Edition). A part of Lemma 55.3 in the book proves the following: Let $h:S^1\to X$ be a continuous ...
4
votes
1answer
87 views

Boolean algebras, Stone theorem and being isomorphic to a field of sets

I'm a little bit confused about duality between boolean algebras and topological spaces or sets. I know the following theorem (which is due to Stone, as far as I know): Every boolean algebra $B$ ...
2
votes
1answer
44 views

Interpretation of alternative group structures on a given group

Let $(G,e,\circ) $ be a group with $e$ the identity element and $a \in G$ and $\circ$ the group operation. Then we can form a new group $(G_a,a,\circ_a)$ with the same underlying set as $G$ and $x \...
7
votes
6answers
745 views

How is the concept of the limit the foundation of calculus?

My casual study of mathematics and calculus introduced me to the notion that calculus didn't find a firm foundation until Cauchy, Weierstrauss (et al) developed set theory some ~100 years after Newton ...
3
votes
1answer
210 views

What is the prerequisite knowledge for Navier–Stokes Existence and Smoothness problem?

I am highly interested in the Millennium Problem of Navier–Stokes Existence and Smoothness (also here) and my aim is to reach some level of knowledge to do research on it. The problem seems simple to "...
12
votes
3answers
1k views

What's so special about the group axioms?

I've only just begun studying group theory (up to Lagrange) following on from vector spaces and I am still finding them almost frustratingly arbitrary. I'm not sure what exactly it is about the ...
2
votes
1answer
40 views

Embedding of classical Lie groups

This is somehow very natural question so I'm sure that the answer should be well known: Whitney theorem states that each (say paracompact) $n$-dimensional manifold could be embedded in $\mathbb{R}^{2n}...
2
votes
0answers
50 views

Protomodular categories

The axioms for abelian categories are nice and clear. The axioms for protomodular categories - and therefore semi-abelian categories - are beyond me entirely. I'm looking for a breakdown of the ...
1
vote
1answer
100 views

Role of functional equations in current panorama of pure mathematics

It seems that currently functional equations are greatly explored as a research field. I would like to know what is the importance and role of such a field in the panorama of the current development ...
4
votes
1answer
213 views

Are there logical arguments against modern $\sf ZFC$ set theory?

As of asking this question, my knowledge of set theory is quite pedestrian. I've read about it in numerous nontechnical papers and even worked through three chapters of Jech - Set Theory, but in terms ...
3
votes
1answer
229 views

Cramer and Riemann Conjecture Implication

Cramer's conjecture gives $$p_{n+1}-p_n= O(\log^2 p_n)$$ while Riemann Hypothesis yields just $$p_{n+1}-p_n= O(\sqrt p_n\log^2 p_n).$$ Does Cramer conjecture on prime gaps imply Riemann Hypothesis (...
-1
votes
1answer
513 views

I need help organising these books by topic [closed]

Okay, this should be a quick and easy question for those of you who've studied calculus. I have a list of books that I want to order by topic, the books are as follows: Michael Spivak - ...
17
votes
4answers
6k views

Why do we need to learn Set Theory?

I was planning to write some article for the Mathematics magazine of our college and it occurred to me that it will be a good idea to write about the impact and importance of Set Theory. I plan ...
2
votes
1answer
53 views

Does the concept of “dynamic average” makes any sense?

While making an excel table about how many times an event happens per day I thought that it could be interesting to see what is the growth rate of those events. If in $2$ days the event happens two ...
1
vote
0answers
129 views

Is this a general structure for constructs?

Here a construct is a category where the objects are sets and the morphisms are structure preserving functions. Common examples are groups, graphs and topological spaces. As far as I can see there is ...
8
votes
1answer
426 views

Euler characteristic, genus and cohomology: a deep connection?

For a smooth projective curve $V$ over the complex numbers, the algebraic genus, defined as the dimension of the linear system $L(\omega)$, where $\omega$ is the canonical divisor, coincides with the ...
46
votes
14answers
4k views

Largest “leap-to-generality” in math history?

Grothendieck, who is famous inter alia for his capacity/tendency to look for the most general formulation of a problem, introduced a number of new concepts (with topos maybe the most famous ?) that ...
5
votes
1answer
135 views

Why are infinite sums so much harder to calculate than the associated infinite integral?

It seems that with continuous functions, we have in calculus an apparatus for "short cutting" an infinite sum. However, when we move to the discrete case, it seems that we don't have the equivalent ...
2
votes
1answer
115 views

Relationship between measure theory and real analysis

Does measure theory generalize real analysis to abstract spaces? For example, you can now talk about convergence even on unordered fields.
10
votes
1answer
422 views

What is the overall idea of Galois theory?

I am a third year undergraduate, doing a course on Field and Galois theory. Now, while I seem to understand most of the concepts locally, I do not seem to get the 'Whole picture' of what is happening ...