The tag has no usage guidance.

learn more… | top users | synonyms

1
vote
1answer
151 views

Notation: $Sigma$ and $Pi$ of intersections

In Jech - Set Theory, the proof of Theorem 31.7, I came along some notations I wish to understand correctly. For a countable elementary substructure $M \prec H_\lambda$ and $A \in M$ and a generic ...
1
vote
0answers
86 views

Profinite groups, directed sets and $H^1$

Usually whenever one reads the definition of profinite group, one starts with an ordered set $I$ which is directed, meaning that for every $i,j\in I$ there is some $k\in I$ such that $i\leq k$ and ...
2
votes
1answer
115 views

Definition of Strongly Stable 0-cycle

I am not sure whether this question deserves to be asked in this forum, but I have no other choice as I can't find the definition anywhere. So here is the question: When is a 0-cycle on $\mathbb P^n$ ...
0
votes
1answer
82 views

Is there relation between vector valued RKHS and interpolation space?

Vector valued RKHS which is covered extensively in the book "Pick Interpolation and Hilbert function spaces" . In a different context interpolation space is defined in the wikipedia link: ...
2
votes
2answers
683 views

On figurate numbers

Do you know a text where I can find a definition of polygonal number that is both geometrically and operationally sound? I've basically seen two ways in which this topic is approached in the ...
1
vote
0answers
74 views

Can we have extension of Mercer theorem to interpolation? [closed]

This question is related to Mercer theorem, Reproducible kernel Hilbert space(RKHS) and interpolation. The wikipedia links are https://en.wikipedia.org/wiki/Mercer%27s_theorem and ...
1
vote
0answers
88 views

One-sided local $L^p$ spaces

Consider the vector space $L^p_{\text{left-loc}}$ of measurable functions $f:[0,1]\to\mathbb R$ so that for all $x\in(0,1]$ there exists $\delta>0$ so that $f|_{[x-\delta,x]}\in L^p$. Does this ...
3
votes
0answers
123 views

What does “control of a deformation problem” mean?

Is the expression "control of a deformation problem' ever defined? There are of course many examples relating a dg-Lie or L-infty algebra to a deformation problem, and the phrase is evocative. Is it ...
12
votes
3answers
858 views

Is there an intrinsic definition of fractal (i.e. not embedded in euclidean space)?

Long ago, manifolds were embedded subsets of euclidean space defined by polynomials. Later, using the gluing of open sets, people realized they could define manifolds intrinsically. And in certain ...
71
votes
25answers
26k views

What are the most misleading alternate definitions in taught mathematics?

I suppose this question can be interpreted in two ways. It is often the case that two or more equivalent (but not necessarily semantically equivalent) definitions of the same idea/object are used in ...
7
votes
2answers
753 views

Who first introduced the functional definition of symmetry?

Who first introduced the definition of symmetry using functions explicitly? (That is, for instance, a symmetry of a subset $X$ of the plane is a function $F$ from the plane to the plane that preserves ...
5
votes
2answers
158 views

Axiomatic approach to means

Recently I have been contemplating on a talk for high school children. One of my favorite topics in high school was the inequality of means. I had a great high school teacher who wrote some very nice ...
1
vote
1answer
272 views

Gerstenhaber versus Schouten

In terms of formal definitions, is there any distinction between Schouten and Gerstenhaber algebras?
10
votes
1answer
763 views

What is the mathematical structure called if we replace commutative group by commutative monoid in the definition of linear space?

Could anyone tell me what the mathematical structure is called if we replace commutative group by commutative monoid in the definition of linear space? Also, are there any names for "commutative ...
12
votes
5answers
996 views

Definition of area

I am looking for an attractive, but rigorous definition of area; say in Euclidean plane. Probably there is no short definition. It is OK to make it even longer, but can it be built from useful parts ...
0
votes
0answers
36 views

Riemannian simplicial complex and quasi-conformal complex

In this paper by Robert Young, the author defines We define a riemannian simplicial complex to be a simplicial complex with a metric which gives each simplex the structure of a riemannian ...
0
votes
0answers
100 views

Fiber products of adic spaces

In the notes from Peter Scholze's class at Berkeley he makes the following remark: "Let us call a Huber pair $(A, A^+)$ admissible if $A$ is finitely generated over a ring of definition $A_0 \subset ...
2
votes
2answers
279 views

Do you know of any asymmetric, nonparametric measure of dependence?

A measure of dependence is a way to assign a number (usually normalized between 0 and 1) to a couple of random variable, such that $\delta(X,Y)=0$ if and only of $X$ and $Y$ are independent, and ...
14
votes
2answers
607 views

Is this a vertex algebroid?… What is vertex algebroid?

A couple of day ago, I was lamenting to a friend about the fact that I have no idea what vertex algebroids are. During our discussion, I came up with a guess of what a vertex algebroid might be. I'm ...
2
votes
0answers
174 views

Interpretation of Shannon Entropy Application

Consider a collection of increasing positive integers $\{a_i\}_{i=1}^m$ and the distribution $p_i=\frac{a_i}{\sum_{i=1}^ma_i}$. Let entropy of $\mathcal{A}=\{a_i\}_{i=1}^m$ be given by ...
2
votes
1answer
199 views

Definition of Givental $J$-function of cotangent bundle of flag variety

I would like to know the definition of Givental $J$-function of cotangent bundle of flag variety. To state my question more precisely, let us briefly recall the definition of the Givental $J$-function ...
32
votes
2answers
2k views

Category Theoretic Interpretation of Matroids?

Hello everyone! First time poster, long time lurker here. I have a really basic question that has been bugging me for sometime. Specifically, I'm not exactly sure what the 'correct' category ...
3
votes
0answers
95 views

How to define Product of Conditional Measures?

I have been wondering how to define the product of conditional measures as defined by Renyi-Popper. I spell the details below. If $(X,\Sigma)$ is a measurable space, then the function $\mu : ...
5
votes
1answer
221 views

Meaning of $g_d^r$ in algebraic geometry

As an editor I often encounter the symbol $g_d^r$ as a noun. I tried googling but I only get papers where the symbol is used without a definition. Can someone supply a reference to a definition? ...
1
vote
1answer
271 views

Concise definition of subobjects

Higher category theory tells us that it is a bad idea to identify isomorphic things. Rather, the isomorphism should belong to some additional data. Also, categorification tells us that one should, ...
64
votes
18answers
8k views

Can a mathematical definition be wrong?

This question originates from a bit of history. In the first paper on quantum Turing machines, the authors left a key uniformity condition out of their definition. Three mathematicians subsequently ...
0
votes
0answers
83 views

A certain Acyclic Partition of a digraph

Has the following object been defined in the literature? What is it called? And what literature studies it? Are there other characterizations of this? What properties are known? Let $G$ be a directed ...
1
vote
1answer
74 views

On Severi's definition of the complementary correspondence

In Weil's short note entitled "On the Riemann hypothesis in function-fields" he mentions the notion of the complementary correspondence associated to a given correspondence $T:C\rightarrow C$ where ...
3
votes
1answer
291 views

How to define a generating subset for algebra in a category?

As is well known, the definition of an monoid can be generalised to the notion of a monoid $A$ in a monoidal category $C$ (see the n-lab entry here). What I would like to know is if the notion of ...
4
votes
5answers
292 views

procedure-based (as opposed to definition-based) concepts

Euler's work on divergent series was guided by computational procedures, rather than any definition of the "value" of such a series. E.g., he was happy to have half a dozen procedures that indicated ...
2
votes
3answers
473 views

Defining the integral of a function using the product measure

Imagine that we're trying to define the expression $$\int_U f(x)dx$$ in a rigorous way. Assume that $f:X \rightarrow \mathbb{R}^{\geq 0}$ where $(X,\mu)$ is a measure space, and suppose that $U$ is a ...
2
votes
0answers
159 views

Alternate definition for the torsion tensor

I would be pleased to have some information about an alternate definition for the torsion tensor. Let us consider a smooth manifold $\mathcal{M}$ together with an arbitrary connection $\nabla$. The ...
3
votes
0answers
95 views

On one class of Euclidean lattices

Let $\Lambda\subset \mathbb Z^3$ be 3D lattice with a basis $$a_1=\left(\begin{smallmatrix} a_{11} \\ a_{21}\\ a_{31} \end{smallmatrix}\right),a_2=\left(\begin{smallmatrix} a_{12} \\ a_{22}\\ a_{32} ...
8
votes
3answers
944 views

What are Penrose Tilings, and how do they relate to Quasicrystals?

The question is in the title, but let me elaborate a little. Background Penrose Tilings are really pretty and satisfy some remarkable properties. For instance, I believe the following is true: even ...
4
votes
2answers
199 views

On the definition of ‘smooth vectors’ in Rieffel's “Deformation Quantization for Actions of $ \mathbb{R}^{d} $”.

On the first page of Chapter 1 of Rieffel's Deformation Quantization for Actions of $ \mathbb{R}^{d} $, Rieffel defines a family of seminorms on the space $ A^{\infty} $ of smooth vectors of a Fréchet ...
2
votes
0answers
248 views

PAC field : Algebraically closed field :: ? : Henselian local ring

I'm wondering if the following exists in the world as a definition. I'll use the word "pseudo-Henselian." I'll restrict to DVRs for simplicity. I'd want to call a DVR $(R,\mathfrak{m})$ ...
10
votes
7answers
462 views

Does the notion of graphs with vertex multiplicity exist?

I need to use graphs where each vertex gets a natural number, $b(v)$, its multiplicity. These numbers indicate how many 'replications' of the vertex we have. It is actually a way to write in a ...
5
votes
1answer
2k views

Geometric picture of invariant differential of an elliptic curve

What is the geometric meaning of $\omega=dx/(2y+a_1x+a_3)$ for an elliptic curve? This question is an adjunct to MO Q1 on formal laws and L-series, which motivated Q2. Q1 (Silverman) and Darmon (pg. ...
27
votes
1answer
2k views

What is Serre's condition (S_n) for sheaves?

The Serre's condition $(S_n)$, especially $(S_2)$, has been mentioned in a few MO answers: see here and here for example. I am pretty sure I have seen it in other questions as well, but could not ...
9
votes
3answers
685 views

What makes a distance?

In the answers to my previous question, I learned that there are different concepts of distance, that is of distance-like functions with the usual metric being only the most popular and important one. ...
7
votes
1answer
316 views

BRST cohomology definition

Is there written anywhere a full definition of BRST cohomology? All I have found so far is BRST cohomology in _______. As far as I can see, BRST cohomology is the ...
5
votes
1answer
268 views

Canonical differential on Tate curve

I am starting studying the theory of (algebraic) modular forms, and I have some trouble in understanding completely the construction of the Tate curve. My problem is the following: as far as I know ...
3
votes
5answers
357 views

Strings and “co-subsequences”

Let $S$ be a string over some alphabet $\Sigma$. It is well known that a substring of $S$ is commonly defined as a sequence of contiguous elements from $S$, while a subsequence of $S$ is a sequence ...
5
votes
1answer
709 views

Why do mathematicians prefer one definition over the other when they both define the same concept?

Here is a basic, though very important, example: Hilbert takes as primary the notion of “congruence” (or “equal”) between segments. His first axiom of congruence “requires the possibility of ...
1
vote
2answers
178 views

Understanding the left-separated spaces

A space $X$ is called left-separated if it can be well-ordered in such a way that every initial segment is closed in $X$. Could someone post some left-separated space to help me understand such ...
6
votes
4answers
1k views

On similar concepts in mathematics whose similarity is a non-trivial fact.

Recently, while undertaking a study of commutative algebra, I learned three concepts: (i) a local ring, (ii) a regular local ring and (iii) a regular ring. At the end, I found myself asking this ...
3
votes
2answers
2k views

Set theory definition of addition, negative numbers, and subtraction? [closed]

Using the definition of natural numbers $0 = \emptyset$ and $S(n) = n \cup \lbrace n \rbrace$ where S is the successor function, what is the definition of addition on natural numbers? Concerning the ...
25
votes
11answers
5k views

What does the adjective “natural” actually mean?

Terms like "in the natural way" or "the natural X" are used frequently in mathematical writing. While it is certainly clear most of the time what is meant, on occasion, I have been confounded. The ...
8
votes
4answers
1k views

Grothendieck Topologies versus Pretopologies

The wikipedia article(s) as well as the nlab article(s) about Grothendieck topologies and Grothendieck pretopologies are careful to differentiate the two very emphatically and to point out that ...
2
votes
0answers
266 views

What is the analog of “monotonic” for scalar functions on surfaces?

"monotonic" is well defined for functions $f(x)$, where e.g. $x\in[0,1]$ and $f(x)\in\mathbb{R}$. The quality I particularly care about is that if $f(x)$ is monotonic then it will not have any local ...