All Questions
542 questions
14
votes
4
answers
2k
views
The ten most fundamental topics in geometric group theory
What are the ten most fundamental topics in geometric group theory?
This is a pedagogical question prompted by the fact that I am teaching geometric group theory to undergraduates. They are expected ...
16
votes
1
answer
978
views
Pedagogically intuitive reformulation of Zorn's Lemma for functional analysis
While teaching an applied functional analysis class, I’ve noticed that students often struggle to develop an intuitive understanding of Zorn’s lemma. It’s relatively straightforward to explain why ...
- 5,824
0
votes
0
answers
122
views
Is there a good or commonly accepted short notation for the set of differentiable, but not necessarily continuously differentiable maps?
Every once in a while I find myself in need of some short notation for the set of differentiable, but not continuously differentiable maps, say, $X \to Y$. Always having to specify "...
- 7,127
1
vote
0
answers
106
views
The proposition associated with a set
Given a set $U$ and a set $A \subseteq U$, is there an accepted symbol for the proposition $p$ over the universe $U$ such that for each $x \in U$, $p(x)$ is the assertion that $x \in A$? (The symbol $...
- 19.7k
0
votes
1
answer
74
views
What is the standard notation for bilinear, biquadratic, etc... spaces?
A typical notation for the polynomials of degree $k$ is $P_k$. The space $P_k$ is considered well-suited for interpolation on simplices, although that is hard to put into practice in full generality.
...
- 981
5
votes
0
answers
131
views
Why $f^\lambda$ in the hook-length formula?
This is my first question on this site so I apologize if it’s not adequate for it.
I just learned the hook-length formula for the number $f^\lambda$ of Standard Young Tableaux of shape $\lambda$:
$$f^\...
- 151
3
votes
2
answers
141
views
Accessible literature on fractional dimensions of subsets of $\mathbb R^n$
I am currently wondering whether it is realistically possible to choose the topic "Fractals and fractal dimensions" for a seminar aimed at undergraduate students in the 2nd semester, with ...
- 1,942
11
votes
6
answers
2k
views
Hard problems with an easy-to-understand answer
I am very interested by problem in mathematics which are difficult (go at least 10 years without a resolution, say) but which have a solution that is short and elementary.
In this video Launay gave an ...
6
votes
1
answer
181
views
Does $\mathsf{SVC}^\ast$ exist?
$\mathsf{SVC}(S)$ is the assertion that for all sets $X$ there is an ordinal $\eta$ and a surjection $f\colon\eta\times S\to X$. I would like to denote by $\mathsf{SVC}^\ast(S)$ the same assertion but ...
- 2,206
0
votes
0
answers
35
views
How to talk about the “shape” of the kernel of an integral transform
So I'm learning about integral transforms, and although it isn't a complete specification, the fact that the Fourier transform decomposes functions into sinusoids, the Laplace into damped sinusoids, ...
4
votes
1
answer
183
views
Notation for weak derivatives
I remember that, as a student, I felt a bit uncomfortable because I had to use the same notation (say $f'$, $D^\alpha f$, $\frac{\partial f}{\partial x^j}$, $\nabla \cdot f$ etc...) for classical and ...
- 4,459
3
votes
0
answers
167
views
Suitability of formal type theory for mathematical thinking (vs. traditional set theory)
Type theory has advantages over set theory for the (computer) formalisation of mathematics, but has anybody who does mathematics with pen and paper found proof assistants or automated theorem provers, ...
5
votes
0
answers
121
views
Adjunction symbol
What are the reasons for the adjunction symbol $F\dashv G$ for a pair of functors $F:C\to D$ and $G:D\to C$? There is no explanation or motivation in the article of Kan where adjunctions are ...
- 16.5k
0
votes
0
answers
149
views
Notation $\le_{a,b,n,\ldots}$ in Analysis
In modern Analysis, especially Functional Analysis, one proves, or one uses inequalities of the form
$$F(X)\le_{a,\ldots,n}G(X).$$
The meaning of the subscripts in the inequality sign means that there ...
- 52.3k
4
votes
2
answers
287
views
Teaching suggestions for Kleene fixed point theorem
I will take over two lectures from a colleague in which we discuss fixed point theory in the context of complete partial orders, and culminates in showing the Kleene fixed point theorem (see f.e. ...
- 41
2
votes
1
answer
628
views
Does some published texbook take a particular approach (described here) to the transition from discrete to continuous probability distributions?
(I posted this question at matheducators.stackexchange.com and it seems to be considered an inappropriate question for that site. I don't understand why.)
Imagine an introductory probability course ...
-2
votes
1
answer
120
views
Is this single-variable function being called with two variables (and if so, how do I handle that), or am I misreading the notation? [closed]
While working on a project, I came across a paper that includes this sum on page 15 as the definition of a support function $r$ for a surface with tetrahedral symmetry:
$$
r(ξ, \bar{ξ}) = \frac{1}{\#𝒢...
- 105
1
vote
1
answer
287
views
Unpacking the plethystic substitution $h_n[n\mathbf{z}]$ in a paper by Aval, Bergeron and Garsia
I'm not familiar with the formalism of plethysm, so I need some help in unpacking the plethystic substitution $h_n[n\mathbf{z}]$ found in eqns. 5.6 and 5.9 of "Combinatorics of labelled ...
- 10.5k
3
votes
1
answer
205
views
Cartesian product of $(k-2)\text{-times } [\text{Interval}_1] \times [\text{Interval}_2] \times [\text{Interval}_2]$
This is a soft question, hoping that it is still appropriate for this forum.
I need to describe twice the following region of $\mathbb{R}^k$ (i.e., we are in a $k$-dimensional Euclidean space, where $...
- 1,451
12
votes
4
answers
929
views
Interesting examples of systems of linear differential equations with constant coefficients
In this paper, Gian-Carlo Rota wrote:
A lot of interesting systems with constant coefficients have been discovered in the last thirty years: in control, in economics, in signal
processing, even in ...
0
votes
0
answers
105
views
Definition of term functions, in universal algebra
According to the definitions in Sankappanavar's universal algebra :
Assume $p$ is a term, then $p(x_1,x_2,...,x_n)$ indicates that the variables occurring in $p$ are among $x_1,...,x_n$. But there is ...
- 11
2
votes
0
answers
284
views
Notation for spectral sequences [closed]
Every single spectral sequence I have seen in my life was denoted by $E$. Even when there is more than one spectral sequence, people tend to use the same letter with some workaround (e.g. a fourth ...
- 2,152
0
votes
0
answers
102
views
Merging two composable walks in a graph
Let $G$ be a graph (i.e., an undirected graph in which we allow for loops and parallel edges). Denote by $V$ the vertex set, by $E$ the edge set, and by $\psi$ the incidence function of $G$, and let $\...
- 10.5k
21
votes
8
answers
5k
views
Examples of bad notation and its consequences [closed]
An example of bad mathematical notation that comes in my mind and has caused complications throughout history is the notation for imaginary numbers. The original notation used to represent imaginary ...
1
vote
0
answers
78
views
Minus sign inside derivative operator, notation problem
Hello fellow mathematicians. Can anybody help me understand what the minus (-) sign in this derivative means? Its the usual d/dy but with a minus added d-/dy. I can't find references, the book cited ...
- 11
2
votes
0
answers
182
views
What do you call $x$ such that $\textrm{dim} f^{-1}(f(x))>0$?
Let $f:V\to W$ be a morphism between varieties, with $\dim \overline{f(V)} = \dim V$. What do you call the closed proper subvariety $S$ of $V$ consisting of points $x$ such that $\textrm{dim} f^{-1}(f(...
- 20.2k
1
vote
1
answer
732
views
Notations for open and closed sets
I am wondering why a standard notation for open sets is $G$ and that for closed sets is $F$. I mean, $F$ precedes $G$ in the alphabet, whereas open sets are usually introduced before closed ones.
- 128k
2
votes
1
answer
295
views
Examples of new results found via exams [closed]
I suspect that there have been many instances throughout history where a new proof of an existing result has been discovered by a student while taking an exam. Does anyone have an example of this?
16
votes
3
answers
4k
views
How does one write the "gothic" letters ($\mathfrak{g}$) in handwriting?
Most mathematical notation is designed with handwriting in mind in the first place, and typography must then try to follow, not always very successfully. However there is a particular type of notation ...
3
votes
0
answers
176
views
What is the meaning of big-O of a random variable?
I encountered this problem in a book "Pattern Recognition and Machine Learning" by Christopher M. Bishop. I excerpt it below:
screenshot of the book
In the excerpt, the big-O notation $O(\xi^...
- 31
53
votes
7
answers
8k
views
Zorn's lemma: old friend or historical relic?
It is often said that instead of proving a great theorem a mathematician's fondest dream is to prove a great lemma. Something like Kőnig's tree lemma, or Yoneda's lemma, or really anything from this ...
- 18.7k
7
votes
1
answer
723
views
Alternate algorithms for Chinese remainder theorem
I was teaching Discrete this semester and set the students loose on a system of linear congruences. One of them came up with this solution. Say $$ x \equiv 1 \textrm{ mod } 3 $$ $$ x \equiv 3 \textrm{ ...
- 525
1
vote
1
answer
117
views
Resources on blended teaching and flipped classroom in undergraduate mathematics education [closed]
I'd like to learn about the implementation of "blended teaching" in general and "flipped classroom" in particular for the teaching of undergraduate mathematics. Can anyone ...
- 141
25
votes
2
answers
3k
views
What is the origin/history of the following very short definition of the Lebesgue integral?
Typical courses on real integration spend a lot of time defining the Lebesgue measure and then spend another lot of time defining the integral with respect to a measure. This is sometimes criticized ...
- 32.5k
1
vote
0
answers
190
views
what belongs in a first university-level geometry course? [closed]
I know this is not really a research question, but I would like to ask it of research mathematicians, to see if there is a consensus. In a recent discussion on this topic, someone suggested that if ...
- 99
1
vote
1
answer
249
views
Name for extension of the symplectic group
Let $S_g$ denote an ortientable surface of genus $g$. Let $\operatorname{Diff}(S_g)$ denote the group of diffeomorphism (that need not fix the orientation). Is there a name for the image of $\...
- 965
2
votes
1
answer
248
views
What is the meaning of $\alpha^{+L}$ for $\alpha$ an infinite countable ordinal?
Condition (a) of lemma 3.4 in the paper “Countable ranks at the first and second projective levels” [M. Carl, P. Schlicht, P. Welch] is
$\alpha^{+L} = \omega_1,$
where $\alpha$ denotes any infinite ...
- 959
8
votes
2
answers
1k
views
Mathematics of sustainable development and energy sobriety in the classroom
Faculty members are encouraged to highlight the connection between the courses we teach and climate change, and raise awareness of the issue in our lectures, across subjects in my university. I am ...
1
vote
0
answers
85
views
Notation for function that is constant with respect to a parameter
I am wondering if there is a common notation for a function that does not depend on a particular parameter. I am wondering about notation both for applying the function ($f(x, y)$) as well as defining ...
- 111
1
vote
1
answer
147
views
"Variable and fixed" in categories
We often find in Grothendieck terminology the words variable and fixed (or absolute).
For example in SGA 4 studies variable topological spaces, groups, and categories as examples of morphisms of topos....
- 894
2
votes
1
answer
472
views
First use of corner quotes for Gödel numbers
Who first used the corner quotes, $\ulcorner$ and $\urcorner$, for the notion of Gödel number? They can also be written as\Godelnum with Sam Buss's macro.
They were ...
- 3,574
2
votes
0
answers
311
views
Degree of a morphism between affine varieties
(Context: rewriting a joint paper with a coauthor.)
We are defining the degree of a morphism $f:A^m\to A^{n}$ to be $\max_{1\leq i\leq n} \deg(f_i)$, for $f_1,f_2,\dotsc,f_{n}$ the polynomials ...
- 20.2k
1
vote
1
answer
171
views
Notation for infinite cartesian products
This is a soft question, feel free to delete it if deemed inappropriate for the site. What is the best notation for the cartesian product of an infinite number of copies of the same set $E$? Maybe one ...
- 9,007
0
votes
0
answers
303
views
Is Baire's theorem stronger than needed for functional analysis?
Many classic theorems in functional analysis involve using Baire's theorem to prove facts about topology that relate to maps between Banach spaces (or, more generally, F-spaces). The application ...
- 109
1
vote
0
answers
48
views
Notation for dominating (or uniformly bounded) function
While I developing a new statistical estimator, I wondered is there any good notation for dominating (or uniformly bounded) function.
A situation like this. For some true function $f:\mathbb{R} \to \...
- 284
1
vote
0
answers
103
views
Are there standard short notations for ascending and descending cyclic permutations?
In a paper I am currently writing I use cyclic permutations of the form
$$
(k,k+1,\dots,\ell)
$$
and
$$
(\ell,\ell-1,\dots,k)
$$
of consecutive elements quite a lot (I added the commas to avoid ...
- 7,127
2
votes
0
answers
234
views
Why is $H$ the standard notation for mean curvature?
I am curious about the origin of the notation $H$ to denote the mean curvature of a surface in $\mathbb{R}^{3}$.
I suppose that the symbol $K$, which is commonly used to denote the Gaussian curvature, ...
- 985
22
votes
2
answers
2k
views
Can one deduce the fundamental theorem of algebra from real calculus and linear algebra?
Motivation: let $A\in\mathbf{R}^{n\times n}$ be symmetric. Then by the method of Lagrange multipliers, a maximum of $x\mapsto x^tAx$ on the compact unit sphere $\mathbf{S}^{n-1}$ must be an ...
- 337
-3
votes
1
answer
222
views
What is the basis for the quantifier notation? [closed]
The symbols $\forall, \exists$ are the ones officially used to denote universal and existential quantifiers respectively. I understand that the choice of $\exists$ was made by Peano, while of $\forall$...
- 11.3k
13
votes
1
answer
730
views
Who introduced the notation for $\beth$ numbers and when?
Georg Cantor, when developing the basics of set theory, noted that there are two ways to increase cardinality: power sets and successors (or, in modern terms, the Hartogs operation).1
Eventually the ...
- 39.8k