The definitions tag has no usage guidance.

**1**

vote

**0**answers

100 views

### Name for the Quotient $SU(m+1)/(SU(k) \times SU(m-k))$

The sphere $S^{2m-1} \simeq SU(m+1)/SU(m)$ has a canonical $U(1)$-action, and quotienting by this action give complex projective space $CP^m$. We can generalise the family of sphere to the family of ...

**6**

votes

**0**answers

348 views

### Competing notions of étaleness

I'm writing some notes to myself on algebraic geometry and I'm trying to get the most conceptual definitions. Having arrived at formally étale morphisms, I am pretty desperate.
Here is a list of ...

**6**

votes

**1**answer

181 views

### Definitions of Hilbert Bundles

I have some doubts regarding definitions and conventions on Hilbert Bundles. Some authors like Peter Kuchment (Floquet Theory for Partial Differential Equations) and Serge Lang (Differential and ...

**2**

votes

**0**answers

27 views

### A proper class for smooth chaotic function

This might be a little, soft, but I'll try
Consider the interval $I=[-1,1]$. We will define a chaotic function $f:\mathbb{R}_+ \times I \to \mathbb{C}$ in the following traditional way:
For every $...

**4**

votes

**1**answer

136 views

### how to define the injectivity radius of manifolds with boundary?

For manifolds without boundary one defines the injectivity radius as the maximal radius where the exponential map is a diffeomorphism. One can then show that the injectivity radius is the maximum ...

**7**

votes

**1**answer

305 views

### Étale morphisms in SDG

On page 70 here, Kock defines a formally étale morphism $f:M\rightarrow N$ as one for which the following square is a pullback for each $d:\mathbf 1\rightarrow D$
$$\require{AMScd} \begin{CD} M^D @>...

**4**

votes

**3**answers

156 views

### End points of continua

Whyburn (1942) defined an end point $x$ of a continuum $X$ to be any point having arbitrarily small neighborhoods each of whose boundaries contains a single point. Thus, he defines an end point ...

**1**

vote

**1**answer

91 views

### If the sample space is an Euclidean Space, we can use a different type of PDF

Reading this post, I realize that is possible to have another type of PDF (probability density function) in the special case when the sample space is an Euclidean space.
Usually, we have a ...

**11**

votes

**1**answer

386 views

### Definition of ind-schemes

What is the correct definition of an ind-scheme?
I ask this because there are (at least) two definitions in the literature, and they really differ.
Definition 1. An ind-scheme is a directed colimit ...

**0**

votes

**1**answer

62 views

### What is the definition of size of an edge$?$

In page-$13$ of Graph minors. $X$. Obstructions to tree-decomposition, $\gamma(G)$ introduced as maximum size of an edge. What is the definition of size of an edge$?$ I think it may be number of edges ...

**5**

votes

**1**answer

212 views

### Definition of a normed ring

A normed ring "should" be a monoid object in the monoidal category of normed abelian groups. There are (at least) two choices of morphisms of normed groups, namely bounded or short homomorphisms, ...

**1**

vote

**1**answer

86 views

### Definition o branched 1-manifold [closed]

i'm studying a papper which has this term "branched 1-manifolds", but the papper does not explain this, according to Wikipédia:
"A finite graph whose edges are smoothly embedded arcs in a surface, ...

**2**

votes

**1**answer

182 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 ...

**2**

votes

**1**answer

183 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 $j\...

**2**

votes

**1**answer

149 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

**1**answer

122 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: https://en....

**1**

vote

**0**answers

86 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 https://en.wikipedia....

**3**

votes

**0**answers

180 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 ...

**1**

vote

**0**answers

90 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 ...

**5**

votes

**2**answers

182 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 ...

**10**

votes

**1**answer

779 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 ...

**0**

votes

**0**answers

47 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

**0**answers

139 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 A^...

**2**

votes

**0**answers

245 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 $$H(\mathcal{A}...

**7**

votes

**2**answers

1k 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 ...

**2**

votes

**1**answer

261 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 ...

**5**

votes

**1**answer

234 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? ...

**3**

votes

**0**answers

136 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 : \Sigma\...

**1**

vote

**1**answer

355 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, ...

**0**

votes

**0**answers

98 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

**1**answer

76 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 $C$...

**3**

votes

**1**answer

298 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 ...

**2**

votes

**0**answers

175 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 ...

**2**

votes

**0**answers

262 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})$ pseudo-...

**10**

votes

**7**answers

508 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

**1**answer

302 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 ...

**4**

votes

**5**answers

303 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 ...

**20**

votes

**4**answers

814 views

### What is a Kelley ring?

I've heard that in some book by someone named Kelley, perhaps an early edition of John L. Kelley's General Topology, the author gave a definition of a ring which turned out to be weaker than the usual ...

**1**

vote

**1**answer

277 views

### Gerstenhaber versus Schouten

In terms of formal definitions, is there any distinction between Schouten and Gerstenhaber algebras?

**7**

votes

**1**answer

351 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

**1**answer

726 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 ...

**14**

votes

**2**answers

636 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 ...

**17**

votes

**5**answers

1k 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 ...

**1**

vote

**2**answers

197 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 ...

**4**

votes

**2**answers

208 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 ...

**6**

votes

**4**answers

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

**2**answers

3k 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 ...

**8**

votes

**3**answers

1k 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 ...

**2**

votes

**3**answers

592 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 ...

**8**

votes

**4**answers

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 ...