The tag has no usage guidance.

learn more… | top users | synonyms

-3
votes
0answers
143 views

What is geometry? [on hold]

I wish to know what geometers and other mathematicians consider geometry. Wikipedia defines geometry as "concerned with questions of shape, size, relative position of figures, and the properties of ...
6
votes
2answers
793 views

Unitary groups over number fields

When defining unitary groups over number fields, one usually takes $F$ to be a totally real number field, $E$ a CM quadratic extension of $F$, and $V$ a hermitian space attached to $E/F$. Then $U(V)$ ...
1
vote
0answers
103 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 ...
27
votes
1answer
3k 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 ...
13
votes
2answers
2k views

What are examples of theorems which were once “valid”, then became “invalid” as standard definitions shifted?

That is, results established by correct proofs within some framework, yet the manner in which their author or the general mathematical community at the time would describe these results would, in ...
6
votes
0answers
350 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 ...
7
votes
1answer
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 @>...
19
votes
1answer
1k views

Surreal exponentiation — are the varying definitions equivalent? If not, is there agreement on which ones are better?

The surreal numbers are sometimes introduced as a place where crazy expressions like $(\omega^2+5\omega-13)^{1/3-2/\omega}+\pi$ (to use the nLab's example) make sense. The problem is, there seem to ...
4
votes
3answers
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 ...
6
votes
1answer
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
0answers
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
1answer
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 ...
79
votes
26answers
30k 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 ...
20
votes
4answers
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
1answer
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
1answer
387 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
1answer
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 ...
1
vote
2answers
580 views

equivalence of definitions of Carmichael numbers [closed]

I would like to prove the equivalence of the two most common definitions of a composite integer $n > 1$ being a Carmichael number: $a^n \equiv a \mod n $ for all $a$ $\iff a^{n-1} \equiv 1 \mod n$ ...
5
votes
1answer
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, ...
17
votes
5answers
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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....
2
votes
2answers
712 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
87 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....
1
vote
0answers
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 ...
3
votes
0answers
181 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 ...
13
votes
3answers
913 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 ...
7
votes
2answers
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 ...
5
votes
2answers
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 ...
1
vote
1answer
277 views

Gerstenhaber versus Schouten

In terms of formal definitions, is there any distinction between Schouten and Gerstenhaber algebras?
10
votes
1answer
780 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
0answers
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
0answers
141 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
2answers
299 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
637 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
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}...
2
votes
1answer
262 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
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\...
5
votes
1answer
235 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
356 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, ...
66
votes
18answers
9k 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
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
1answer
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
1answer
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 ...
4
votes
5answers
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 ...
2
votes
3answers
593 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 ...