Questions tagged [definitions]
For questions of the kind "What is the correct definition of property or object X?" or questions about how to define terms within specific theories.
237 questions
6
votes
0
answers
148
views
Non-equivalent definitions of the cobar construction
I'm trying to understand two different definitions of the cobar construction $\Omega C$ for a coaugmented dg coalgebra $C = \overline{C} \oplus \mathbb{k}$.
In Adams' original definition, $\Omega C$ ...
- 61
2
votes
0
answers
95
views
Lax natural transformations and adjunctions between strict 2-functors
Note: This is a repost of a question I asked on Math Stack Exchange. A friend of mine suggested that maybe the question is more suitable for MathOverflow.
I'm relatively new to higher category theory, ...
1
vote
0
answers
235
views
Definition of length structure in Burago, Burago, Ivanov's "A Course in Metric Geometry" does not imply Exercise 2.1.4?
In Burago, Burago, Ivanov's "A Course in Metric Geometry" (Definition 2.1.1, page 26 and 27) a length structure on a topological space $X$ is defined as a pair $(A,L)$ where $A$ is a set of ...
- 810
6
votes
1
answer
373
views
A misunderstanding in Gorensteiness
I am reading the definition of a Gorenstein ring in Bruns-Herzog.
A Noetherian local ring $R$ is called Gorenstein if
$$
\operatorname{inj\,dim}_R R < \infty,
$$
that is, if the injective ...
user569831
1
vote
0
answers
80
views
literature request: morphisms of plane trees as natural transformations in $[\omega^{op},\Delta_+]$?
This is a more open-ended followup to a related question: On Joyal's definition of a category of plane trees.
That question recalled how rooted plane trees can be represented as contravariant ...
- 3,633
12
votes
2
answers
771
views
On Joyal's definition of a category of plane trees
I'm trying to understand better the motivation for the definition of the category $Trees$ of finite plane trees in Joyal's unpublished manuscript "Disks, duality and Θ-categories" (1997, ...
- 3,633
7
votes
2
answers
928
views
Why is Galois cohomology usually defined only for discrete modules?
$\DeclareMathOperator{\Aut}{Aut}$If $K$ is a field, the Galois cohomology $H^n(K, M)$ can be defined using cochains (or by a derived construction, etc.). The absolute Galois group $G_K$ naturally ...
- 1,282
1
vote
0
answers
117
views
Epimorphisms with kernel pairs
I am a bit lost understanding some subtleties in various form of epimorphy.
The nLab reports that an effective epimorphism is one that coequalizes its kernel pair. A regular epimorphism is simply one ...
- 261
3
votes
1
answer
276
views
Reference request: generalized Jacobian variety for higher dimensional variety
Let $X\subset \mathbf{P}^n$ be a hypersurface such that the singular locus of $X$ consists of a single ordinary double point. I'm trying to find a reference to the "generalized" intermediate ...
- 515
6
votes
0
answers
166
views
Is there a syntactic proof that first-order positive inductive definitions are conservative?
Every first-order positive inductive definition has a fixed point. It follows that, if the biconditional is thought of as an axiom in the language obtained from the background language by adding a new ...
- 61
9
votes
0
answers
209
views
How to define Dedekind reals and Eudoxus reals such that they are equivalent to unmodulated Cauchy reals
In constructive mathematics without choice, we have three different versions of the real numbers (each embedding into the next).
Regular Cauchy reals (functions $f : \mathbb N \to \mathbb Q$ such ...
- 7,158
12
votes
4
answers
1k
views
Is there a name for finite unions of intervals?
Finite unions of intervals are simple sets that are used quite often, e.g. in measure theory. (The construction of the Cantor set is a noble example). I realised that I do not have a name for them. Is ...
- 63.5k
1
vote
1
answer
159
views
Looking for definition of function spaces appearing in article of DiPerna & Lions
I am looking for the definition of various function spaces appearing in the following article, preferably with references to other sources where such spaces are discussed in greater detail:
Article: ...
- 21
1
vote
0
answers
68
views
Definition of "interval of continuity" for function defined on sets
At the beginning of Chapter 8 of Kubilius's Probabilistic Methods in the Theory of Numbers, the author defines $Q=Q(E)$ to be a completely additive nonnegative function defined for all Borel subsets $...
- 13.1k
1
vote
0
answers
163
views
Sequential definitions of continuity and related classes
It is well-known that the usual 'epsilon-delta' definition of continuity is equivalent to the sequential definition (assuming countable choice). Less well-known is the sequential definition of ...
- 4,792
1
vote
0
answers
253
views
What is the "weight" of an automorphic form for $\mathrm{PGL}_2$?
$\DeclareMathOperator\GL{GL}\DeclareMathOperator\PGL{PGL}$I'm trying to understand what the notion of "weight" is for automorphic forms over $\GL_2(F)$ where $F$ is some number field, in ...
- 515
0
votes
1
answer
804
views
What is the mathematician's definition of the determinant? [closed]
I am trying really hard to find a good definition of the determinant.
I have looked virtually every single resource online and everybody gives a different answer:
sum of cofactors or minors https://...
- 179
1
vote
1
answer
316
views
Defining the number of rightmost frozen digits of Graham's number
It is well-known that (in radix-$10$) Graham's number, $G$, can be expressed as a tetration with base $3$ and a very large hyperexponent $\tilde{b}$. Thus, we can write that $\exists! \hspace{1mm} \...
- 2,123
1
vote
0
answers
320
views
Can the following definition of choice principle salvage the prior attempts?
In prior postings 1 , 2, I've presented a definition of choice principle as what is equivalent to a selection principle. However, it was proved that it is inadequate in the sense that it admits ...
- 13.2k
-1
votes
1
answer
175
views
What is an "open Baire set"?
In Measures Which Agree on Balls by Hoffmann-Jørgensen, it is stated that if $\varphi$ is a Baire function (which I presume means a pointwise limit of continuous functions), then $\{a<\varphi\}$ is ...
- 307
7
votes
0
answers
425
views
Generalizing uniform structures as Grothendieck topologies
Recently, I was reading a classical book "Sheaves in Geometry and Logic" by S. MacLane and I. Moerdijk, and then it struck me that the definition of Grothendieck Topology bears some familiar ...
- 813
2
votes
1
answer
433
views
Impredicativity, definition, recursion and conservatism
Suppose we in an impredicative framework isolate the fixed point
$$Gx\leftrightarrow A(G,x)$$
from a $Gx$ obtained by $\Pi^1_1$-comprehension as equivalent to $\forall K((A(K,x)\to Kx)\to Kx)$, where $...
- 4,122
1
vote
0
answers
299
views
Definition of “morphism of schemes that induces a bijection between irreducible components ”
$\def\sO{\mathcal{O}}\def\sF{\mathcal{F}}$On the Stacks Project there are several instances where the seemingly undefined notion of a “morphism of schemes that induces a bijection between irreducible ...
5
votes
1
answer
550
views
Is it known that there is any function $f:\mathbb{R}\to\mathbb{R}$ at all, whose graph has positive outer measure on every rectangle in the plane?
Suppose $\lambda^{*}$ is the Lebesgue outer measure.
Question:
Does there exist an explicit $f:\mathbb{R}\to\mathbb{R}$, where:
The range of $f$ is $\mathbb{R}$
For all real $x_1,x_2,y_1,y_2$, where $...
- 135
2
votes
1
answer
266
views
Finding an explicit & bijective function that satisfies the following properties?
Suppose using the lebesgue outer measure $\lambda^{*}$, we restrict $A$ to sets measurable in the Caratheodory sense, defining the Lebesgue measure $\lambda$.
Question:
Does there exist an explicit ...
- 135
2
votes
0
answers
102
views
Justification of modular law in allegories
The modular law in modular lattices can be described as an isomorphism between opposite edges of the square $(a \land b), a, b, (a\lor b)$. A fancier way of saying this is an adjoint equivalence with ...
- 2,166
2
votes
1
answer
215
views
"Balanced" separator which is independent set
I am looking for existence results on separators of $r$-regular graphs $G=(V,E)$, which have the property that
$S\subset V$ is a separator
for all $v,w\in S$ the edge $\langle v,w\rangle\not\in E$ (i....
- 377
1
vote
1
answer
209
views
Convergence rate of a sequence of sets to a set-theoretic limit?
Suppose $n\in\mathbb{N}$ and set $A\subseteq\mathbb{R}^{n}$.
If we define a sequence of sets $\left(F_r\right)_{r\in\mathbb{N}}$ with a set theoretic limit of $A$; how do we define the rate at which $\...
- 135
8
votes
1
answer
746
views
Measure without measurable sets
This question is a little on the softer and speculative side, so bear with me.
Usually a measurable space is $(\Omega, \Sigma)$, a set $\Omega$ and sigma algebra $\Sigma$ of subsets. A measurable ...
- 3,644
5
votes
1
answer
977
views
Definition of locally symmetric space of reductive groups
This might seems like a bit of philosophical question and so maybe if I keep reading a bit more, I might get my answer. But, I ask nonetheless.
In my attempt to study Shimura varieties, I came across ...
- 939
12
votes
2
answers
2k
views
Would it be possible to propose a satisfying categorical definition for the notion of basis?
I once came across a definition for the notion of basis that was independent of the type of the algebraic structure considered (although I cannot find where). Translated into category terminology, it ...
- 259
1
vote
0
answers
246
views
What is a definition of $A(P_v)$ in the definition of Brauer-Manin obstruction?
This is a question related to the definition of Brauer-Manin obstruction.
Let $K$ be a number field. $X/K$ be an algebraic variety over $K$.
Let $O_{X,P}$ be a local ring of $X$ at $P$. Let $Br(X)=\...
- 1,504
5
votes
1
answer
698
views
What is the correct definition of semisimple linear category?
I have been using the notion of "semisimple linear category" for a while now, but I never bothered to write down a definition. I've always just waved my hands and said "Schur's lemma ...
- 3,054
4
votes
0
answers
185
views
Definitions of torch ring
Well, I find myself in a tangled web of references, definitions and doubt. How do I get myself into these things? Get ready for a rollercoaster of definitions.
An FGC ring is a commutative ring whose ...
- 1,548
3
votes
1
answer
128
views
References on coefficient quivers
I would like to study about coefficient quivers, but I cannot find a good reference, as book for example. I could find many papers working with coefficient quivers, but none of them give a book or a &...
- 35
3
votes
0
answers
105
views
The most general (but useful) definition of "attractor" for dynamical systems
Consider J. Milnor's paper: On the concept of attractor.
There he writes: "A less restrictive definition" [than some of the previous ones he had considered] of the concept of an attract is &...
- 429
5
votes
1
answer
648
views
On the correct definition of attractors
It is well-known in dynamical systems that the concept of "attractor" differs in the literature.
My question is whether attractors need to be defined as subsets of $\omega$-limit sets of ...
- 429
3
votes
0
answers
164
views
Which definitions of "local module" have gotten traction?
It seems like "local module" has been defined a lot of ways:
if 𝑀 has a largest proper submodule. (This math.se post)
if it is hollow and has a unique maximal submodule (Singh, Surjeet, ...
- 1,548
4
votes
1
answer
625
views
On the definition of a continuous function
I remember once reading that "a continuous function can be loosely described as a function whose graph can be drawn without lifting the pen from the paper". We all know that this is not true....
- 113
3
votes
0
answers
87
views
Characterizing image of integral transform applied to sections of a fiber bundle
Geometry is not my area, and so, I am not sure the title accurately captures what I am interested in exactly... I hope the tags are appropriate.
For any vector $v$, denote it's $i$-th component by $v_{...
- 181
3
votes
1
answer
308
views
Extending the class of primitive recursive functions with higher order recursion schema
I'm trying to extend the class of primitive recursive functions by extending the recursion schema over higher types.
We usually define the class of primitive recursive functions by using zero function,...
- 298
0
votes
0
answers
141
views
definition of level-preserving diffeomorphism
In Hatcher, Allen; Lochak, Pierre; Schneps, Leila, On the Teichmüller tower of mapping class groups, J. Reine Angew. Math. 521, 1-24 (2000). ZBL0953.20030) page 10 we have :
Up to level-preserving ...
- 119
2
votes
0
answers
229
views
A question on terminology for sequences satisfying $\gcd(a_m,a_n)=a_{\gcd(m,n)}$
How do you refer to those sequences $\{a_{n}\}_{n \in \mathbb{Z}^{+}}$ of integers that satisfy the condition $\text{gcd}(a_{m}, a_{n}) = a_{\text{gcd}(m,n)}$ for every $(m,n) \in \mathbb{Z}^{+} \...
- 73
-4
votes
1
answer
188
views
Hilbert’s third problem and what a polyhedron is [closed]
What is the definition of a polyhedron used by Hilbert’s third problem?
- 3,213
2
votes
0
answers
315
views
A formal definition of a useful theorem?
Sorry if this feels a bit squishy, but I'm wondering if there is any published work trying to give a fully formal definition of the notion of a useful theorem. I mean, in mathematics we all know that ...
- 4,039
4
votes
0
answers
354
views
What is a finitely connected domain?
(Cross-posted from MSE.)
The paper Chang, S.-Y. A. and Yang, P. C.: Conformal deformation of metrics on S 2 . J. Differential Geom., 27(2), 1988 (DOI, MathSciNet) states in Proposition 2.3 that Moser'...
- 348
0
votes
0
answers
135
views
What is the average degree of a d-simplex?
I am a beginner in network topology topics and while I was reading an article about simplicial complexes where the authors had used random simplicial complexes, I came across a formula using "...
- 1
0
votes
0
answers
248
views
Definition of union of simplicial complex and a subset
(Cross-posted from MSE: https://math.stackexchange.com/questions/4425225/definition-of-union-of-simplicial-complex-and-a-subset)
Consider a simplicial complex $\Delta$ with vertex set equal to some ...
- 521
6
votes
2
answers
2k
views
Mapping class group and pure mapping class group
"A Primer on Mapping Class Groups" wrote
Let $\mathrm{Homeo}_+(S, \partial S)$ denote the group of orientation-preserving
homeomorphisms of $S$ that restrict to the identity on $\partial S$....
user127837
1
vote
1
answer
129
views
What are semipositone functions? [closed]
I am reading a paper on multiple solutions for boundary value problems of fourth-order differential systems. In the paper, there is a nonlinear term $f\in C\left[(0,1)\times \mathbb{R}^+\times \mathbb{...
