All Questions
542 questions
1
vote
0
answers
69
views
Question about Notation for Spaces of $n$-ary $k$-ic Forms
Define an $n$-ary $k$-ic form to be a polynomial over the integers of homogeneous degree $k$ in $n$ variables. In Section 1 of the paper "Higher Composition Laws I" (linked below), Bhargava writes $(\...
1
vote
1
answer
307
views
Basic question regarding notation of summation over primitive characters
This seems like a very standard notation in analytic number theory, and I see it a lot. But I was confused with it and I would greatly appreciate any clarification.
When one writes sum of the shape
$$...
- 3,625
93
votes
20
answers
10k
views
Short papers for undergraduate course on reading scholarly math
(I know this is perhaps only tangentially related to mathematics research, but I'm hoping it is worthy of consideration as a community wiki question.)
Today, I was reminded of the existence of this ...
35
votes
2
answers
2k
views
Is it consistent with ZF that $V \to V^{\ast \ast}$ is always an isomorphism?
Let $k$ be a field and $V$ a $k$-vector space. Then there is a map $V \to V^{\ast \ast}$, where $V^{\ast}$ is the dual vector space. If we are in ZFC and $\dim V$ is infinite, then this map is not ...
- 156k
6
votes
8
answers
2k
views
Mathematical objects whose name is a single letter
(Not research-level, but perhaps not easily answered elsewhere — you decide if MO can afford the innocent fun. If so, it should likely be “community-wiki” i.e. one object per answer.)
I am seeking ...
8
votes
2
answers
2k
views
Examples of analytic functions to motivate a first course in complex variables
[Changed title as a plea to re-open the question.]
If one is to motivate a course in complex variables, what specific analytic (holomorphic/meromorphic) function of one variable would you cite as an ...
5
votes
1
answer
548
views
Question about denoting/designating of algebraic structures
I saw this image on Wikipedia (Template:Group-like structures, current revision):
Since there are five "properties" that we can have (in this context), namely: totality, associativity, identity, ...
user114642
16
votes
1
answer
2k
views
A conjecture in which both "if" and "only if" are near misses
[Migrated from Math Stack Exchange]
More than a year ago, I posted the following on the Math Stack Exchange.
Consider $2^n-1$. Based on checking a few small numbers for $n$ (in
fact, the first ...
- 2,437
1
vote
1
answer
211
views
Notation for the restriction map in Galois cohomology
My coauthors and I are writing a paper based on MO questions and answers:
Friedrich Knop's answer,
my answer 1
and
my answer 2.
For a linear algebraic group $G$ over a perfect field $k$, I consider a ...
- 14.2k
16
votes
2
answers
1k
views
Teaching Steenrod Operations
I am teaching a class on topology and want to introduce Steenrod Operations. I have talked about simplicial sets and classifying spaces of groups but have not talked about Eilenberg–MacLane spaces. ...
- 161
11
votes
3
answers
448
views
Easy proof that reflections generate $N(T)/T$ for connected compact group?
I'm teaching a course on Coxeter groups and I'd like to provide an overview of the connection to compact Lie groups. Let $G$ be a compact connected Lie group, $T$ a maximal torus and $N(T)$ the ...
- 156k
7
votes
3
answers
3k
views
Problems reducing to a graph-theory algorithm
This is essentially a question in pedagogy -- the answers could be useful to teach (or rather, motivate) graph theory, and especially the algorithmic side of it.
I have been very impressed with this ...
- 2,287
39
votes
4
answers
2k
views
Important open exposition problems?
Timothy Chow, in his article A beginner's guide to forcing, defines an open exposition problem as a certain concept or topic in mathematics that has yet to be explained "in a way that renders it ...
263
votes
29
answers
89k
views
Mathematical games interesting to both you and a 5+-year-old child
Background: My daughter is 6 years old now, once I wanted to think on some math (about some Young diagrams), but she wanted to play with me...
How to make both of us to do what they want ? I guess ...
14
votes
0
answers
919
views
Grothendieck construction and coends
In category theory, both the Grothendieck construction and coends are represented by a sort of "integral sign", respectively:
$$
\int F
$$
for a functor $F:C\to\mathbf{Cat}$,
and:
$$
\int^x G(x,x)
$$
...
- 2,129
39
votes
5
answers
38k
views
The letter $\wp$; Name & origin?
Do you think the letter $\wp$ has a name? It may depend on community - the language, region, speciality, etc, so if you don't mind, please be specific about yours. (Mainly I'd like to know the English ...
- 665
2
votes
2
answers
247
views
Technical term for representing object of a presheaf determined by a left-adjoint?
If $\mathcal{D}$ is a locally-small category, then a functor $F\colon\mathcal{C}\rightarrow\mathcal{D}$ has a right-adjoint if and only if for each object $d$ of $D$, the presheaf $$\mathcal{C}^{\...
- 6,051
2
votes
0
answers
240
views
What does the $\pi_1(\mathsf{C})$ really mean?
Assume that $\mathsf{C}$ is a small category (in my case with finitely many objects but this is probably irrelevant). In a paper I'm studying at the moment there is a notion used constantly, this of $\...
- 441
2
votes
0
answers
99
views
Spectral multiplier and Littlewood-Paley projection
I am trying to understand this paper, and have some basic question, and hope this is OK for the MO.
Let $f\in \mathcal{S}(\mathbb R^d)$ (Schwartz Space).
We know that $\widehat{\nabla f}(\xi)= 2 \...
- 31
3
votes
0
answers
146
views
Local system corresponding to induced representation
Let $p\colon Y\to X$ be a finite covering map of path-connected "good" spaces (e.g. manifolds), and let $L$ be a local system on $Y$, and let $V$ be the corresponding representation of $\pi_1(Y)$. ...
- 3,079
5
votes
1
answer
1k
views
Generalizing Big O notation to arbitrary vector spaces
I'm constructing a Coq library for Big-O notation. Naturally, I'd like it to be as general as possible. The Wikipedia page on Big-O notation says
The generalization to functions taking values in ...
- 153
7
votes
0
answers
214
views
Notation: Why Ω for the based loop functor?
This is just a question about notation - probably useless, but it's always baffled me:
Why was $\Omega$ chosen to denote the based loop functor?
I once heard someone speculate: "It's because $\Omega$...
- 113
-1
votes
1
answer
124
views
Typed Values in Formulas
Question:
are there any "standard" ways of indicating the meaning of numerical values in formulas, resp. general mathematical texts (theorems, proofs, etc.)?
I am especially looking for ...
- 13.2k
2
votes
0
answers
323
views
Is there standard notation for restriction partial functions?
Given a partial function $f : A \rightarrow B$, and a subset $S \subseteq A$, we get a new partial function $$f \restriction_S : A \rightarrow B$$ by restriction. However, I prefer to analyse $f \...
- 3,793
15
votes
3
answers
3k
views
History of the pullback corner notation
Where/when did the convention originate of marking pullback (and/or pushout) squares by that little right-angle symbol in the corner?
The earliest instance I’ve been able to find is in Paul Taylor’s ...
- 21.3k
2
votes
1
answer
215
views
Notation for the automorphisms of a $S$-scheme over automorphisms of $S$
Here is a slightly anecdotical notational question.
Let $S$ be a scheme and let $X$ be a scheme over $S$, with structural morphism $s\colon X\to S$. Is there a good suggestive notation for the group $...
- 1,017
2
votes
1
answer
2k
views
Chudnovsky algorithm and Pi precision
What are the precision/ number of correct Pi digits after N iterations of Chudnovsky algorithm. Looking for a formula (rather than a table) and reference.
- 39
1
vote
0
answers
112
views
Notations - Hardy and Sobolev Spaces [duplicate]
After some confusion on my part, I wanted to know is there a profound mathematical reason why both Hardy spaces and Sobolev spaces are denoted by $H^p$(1). Is it just coincidence? Does it have any ...
- 3,574
12
votes
3
answers
891
views
Notations for dual spaces and dual operators
I'm asking for opinions about the 'best' notations for:
1. the algebraic dual of a vector space $X$;
2. the continuous dual of a TVS;
3. the algebraic dual (transpose) of an operator $T$ between ...
1
vote
0
answers
224
views
Does the LaTeX $\eqslantless$ symbol, or the comparable Unicode ⋜, have a well defined meaning for binary numerical relationships? [closed]
At first this appeared a simple question; Unicode defines the symbol as "equal to or less-than", which would appear to be the same as "less-than or equal to". But on investigating a bit, I found very ...
- 31
6
votes
0
answers
622
views
How necessary is the knowledge of Lebesgue integral for non-analysts? [closed]
Recently I have learned that at some math department the introductory course to Lebesgue integration not obligatory. Thus in another course on introduction to Hilbert spaces the $L^2(0,1)$ space is ...
- 21.8k
5
votes
0
answers
361
views
Notation for calculus with measures?
One of the strengths of ordinary multivariable calculus is that you can use notation where functions are expressed pointwise (e.g. $\int_a^b x^2 \, \mathrm{d}x$ rather than merely $\int_a^b f$), and ...
user13113
10
votes
3
answers
1k
views
About the classification of commutative and of cocommutative, fin. dim. Hopf algebras
I want to prove that the cocommutative finite dimensional Hopf algebras over an algebraically closed field of characteristic zero are group algebras (for some finite group) and that the commutative f....
- 7,746
6
votes
2
answers
588
views
Applications of isotropic quadratic forms
I will soon be teaching an introductory course on bilinear algebra and quadratic forms. I will likely spend most of the time and effort on positive definite quadratic forms and euclidean spaces. These ...
13
votes
3
answers
1k
views
Teaching polarisation formula
When teaching about Hilbert spaces, one begins with a polarisation formula, which allows us to reconstruct the scalar product from the norm:
$$\langle u,v\rangle=\frac14(\|u+v\|^2-\|u-v\|^2+\imath\|u+\...
- 52.3k
1
vote
1
answer
185
views
Using Ordinal Notations in Computability Theory Is There A Standard Notation For The Notations Below $\alpha$
I find I frequently have to refer to the set of ordinal notations below some given notation. For instance given a notation $\alpha$ I often need to refer to the set $\lbrace \beta \mid \beta <^{\...
- 3,029
8
votes
2
answers
3k
views
What is the standard notation for reversing the order of vector's components? [closed]
If we have a vector $x=(x_1,x_2,\ldots,x_n)$, is there any standard way to denote the vector $(x_n,x_{n-1},\ldots,x_1)$?.
I think that $x^{-1}$ could be a good option.
- 89
3
votes
1
answer
771
views
Stochastic Process Notation
Note: I'm not an expert on stochastic processes. Please use small words and speak real slow.
I'm reading a paper [1], which uses a notation for stochastic processes that doesn't seem to be standard.
...
- 245
4
votes
3
answers
507
views
Defining negation
I'm currently coauthoring a book intended to teach first-year students basic proof techniques. One of the chapters, written by my coauthor, is about basic logic. In that chapter the negation of a ...
- 18.7k
2
votes
1
answer
293
views
Notation and reference for polynomials with coefficients not commuting with the indeterminates
Let $R$ be a noncommutative ring (with unit). Then a "fully noncommutative" (for a lack of better wording) monomial over $R$ in the single noncommutative indeterminate $X$ of degree $d$ is given by a ...
- 7,127
18
votes
3
answers
2k
views
Where does the name "R-matrix" come from?
In quantum integrability and related topics a lot of not-so imaginative terminology is used. One may hear people talk about "Q-operators", "R-matrices", "S-matrices", "T-operators", as well as "L-...
- 1,996
6
votes
1
answer
462
views
How to talk about certain "free" categories?
Given two categories $\mathcal{C}$ and $\mathcal{D}$, we can describe the following category $\mathcal{E}$. It is the initial category whose object set contains $\mathrm{Obj}(\mathcal{C}) \times \...
- 595
5
votes
0
answers
2k
views
A course on modern algebraic geometry from "The Stacks Project"
I hope this question is viable for this site. I'm sincerely sorry, if you think it isn't.
For a lot of time, "EGA" by Alexander Grothendieck and Jean Dieudonne was "the" reference on the basics of ...
- 59
16
votes
5
answers
5k
views
When did the abuse of notation $y=y(x)$ start?
It's quite common nowadays to name a function and the application of the function to its input with the same letter. (Possibly more so in applied areas. Certainly many calculus textbooks do this.)
...
- 5,343
55
votes
16
answers
16k
views
Why do we need random variables?
In this MathStackExchange post the question in the title was asked without much outcome, I feel.
Edit: As Douglas Zare kindly observes, there is one more answer in MathStackExchange now.
I am not ...
- 5,670
7
votes
2
answers
1k
views
Two different kinds of definitions of $C^k(\overline{\Omega})$ — extension and restriction
This is cross-posted in MSE.
I have seen two different kinds of definitions of the notation $C^k(\overline{\Omega})$ — by "extension" of functions on $\Omega$ or by "restriction" of functions on $\...
user14319
4
votes
0
answers
283
views
Pairing in Group Cohomology [closed]
I am following Ararat Babakhanian's Cohomological Methods in Group theory.
Let $A,B,C$ be $G$ modules then we have a $G$ module structre on $\text{Hom}_{\mathbb{Z}}(B,C)$ with $$\sigma.f(x)=\sigma(f\...
user37663
1
vote
0
answers
59
views
Notation for largest universal subclass and class of arrows "locally in" a given class of arrows
Let $\mathcal M$ be a class of arrows in a category $\mathsf C$. I would like suggestions for good notation for the following two classes.
The smallest universal (pullback stable) subclass $\mathcal ...
- 10.5k
0
votes
1
answer
179
views
Theory of integration of Kernel in çinlar probability and stochastic
I'm reading the probabilistic book write by çinlar, but I don't understand the Kernel theory, in details:
$ (E,\mathcal{E}),(F,\mathcal{F})$ are two measurable space
$$K:E \times \mathcal{F} \...
user96954
5
votes
1
answer
409
views
What countable ordinals are called $\kappa_\alpha$?
Jervell has a notation for countable ordinals up to the small Veblen ordinal using trees:
• Herman Ruge Jervell, How to wellorder finite trees
and get good ordinal notations, Berkeley Logic ...
- 22.3k