Questions of the kind "What's the name for a X that satisfies property Y?"

**0**

votes

**0**answers

26 views

### Is there a name for this property among variables?

I have a convex function of four variables, $f(w,x,y,z)$, which when solving for the symbolic arg min of one variable assuming the other three are known I got something similar to the following.
...

**-4**

votes

**1**answer

117 views

### Looking for the name of a mathematical symbol that looks remotely like 1 (answer: indicator function) [closed]

Original question:
The symbol looks like a numeral 1 written like an R in $\mathbb{R}$. It has a double vertical line and a serif at the bottom. It represents a function of a parameter: ...

**1**

vote

**2**answers

107 views

### Is there a name for a partial order in which there is a countable chain which “dominates” the whole space?

Is there a name for a partial order $\preceq$ on a set $X$ with the following property: "there exists a countable set $S \subset X$ such that for all $x \in X$ there exists $y \in S$ with $x \preceq ...

**4**

votes

**1**answer

113 views

### Does this axiom (a weak form of class valued choice) has a name?

At some point in my work (which has nothing to do with set theoretics foundation) I need to consider the following axiom:
For any set $X$, any class $V$ with a surjective map $f : V ...

**2**

votes

**1**answer

151 views

### A question on the name of a property

What is the name of the property that a system $T$ has if $\vdash_{T}\exists x F(x)$ only if there is a term $a$ so that $\vdash_{T} F(a)$?
If I recall correctly Heyting Arithmetics has the ...

**5**

votes

**1**answer

300 views

### Terminology in combinatorics

I met the following two combinatorial concepts during a study outside of combinatorics. I am wondering if there are common terminologies in combinatorics.
A finite graph $G$ has the following ...

**5**

votes

**2**answers

225 views

### Does the ring generated by the odd power sum symmetric functions have a name?

Let $\Lambda$ be the ring of symmetric functions and recall the power sum symmetric function $p_i = \sum x_1^i + x_2^i + \dots$ generate this ring. Let $\tilde\Lambda$ be the ring generated by the odd ...

**3**

votes

**4**answers

288 views

### Terminology for polygons

As you may know term "polygon" might mean few different things
and its meaning has to guessed from context.
By some reason I have to use few of these meaning in one place.
So I converge to the ...

**4**

votes

**0**answers

144 views

### Is there a name for this quantity between two distributions?

Let $f$ be a probability density on a compact domain $D$, and say that $x_1,\dots,x_n$ are samples from $f$. If we wanted to compute the Wasserstein distance between $f$ and the empirical ...

**2**

votes

**0**answers

48 views

### Terminology for torsion semigroups where the order of elements is uniformly finite

A (multiplicatively written) semigroup $\mathbb A = (A, \cdot)$ with the property that ${\rm ord}_\mathbb{A}(a) := |\{a^n: n \in \mathbf N^+\}| < \infty$ for every $a \in A$ is called a periodic ...

**7**

votes

**1**answer

222 views

### Another name for coin-flipping polynomials

In his paper Functions arising by coin flipping (section 4), Johan Wästlund coined the term "coin-flipping polynomial" for polynomials that arise in connection with observing a finite number of coin ...

**1**

vote

**0**answers

64 views

### Reduced products of (abelian and triangulated) categories: references?

For a filter $U$ on a set $X$ and for a family of categories $C_x$ indexed by $X$ I would like to consider the (corresponding categorical version of) reduced product of $C_x$ (for $x\in X$) with ...

**0**

votes

**0**answers

114 views

### Higher algebra and terminology about 2-objects

It is well known that one way to build higher category theory is to use some induction process, where an $n$-category has as $0$-cells some $n-1$ categories, such that for two $0$-cells $\mathcal{A}$ ...

**0**

votes

**0**answers

124 views

### Independent Generic Curves in the Projective Plane

I'm trying to read a paper by Masayoshi Nagata
(available here)
where he gives a counter-example to Hilbert's fourteenth prolem
and I've run into some trouble understanding the terminology he's using.
...

**1**

vote

**1**answer

69 views

### Terminology for set of infinite strings with a certain prefix

Let $\mathcal{A}$ be a finite alphabet, and let $C$ be the Cantor space $\mathcal{A}^\omega$ under the product topology.
Given a finite string $s \in \mathcal{A}^*$, let $C(s)$ be the set of all ...

**3**

votes

**1**answer

151 views

### Generalisation of “tangent space” to not-necessarily connected sets

I vaguely recall having read somewhere a definition similar to (but probably not exactly the same as) the following.
Definition (Blob) Let $S\subset \mathbb{R}^n$ be a set, and $p \in S$. The ...

**3**

votes

**0**answers

80 views

### Is there a name for the operation that stretches out an invertible series by a factor of $m$?

The question is whether there is an established word for the transformation that starts with an invertible formal power series over a field $k$, $u(x)=xg(x)=x(1+a_1x+a_2x^2+\cdots)$ and delivers the ...

**4**

votes

**1**answer

168 views

### Why the term “geometric” rough path?

A "geometric" rough path is a rough path such that $Sym(\mathbb{X}_{s,t})=\frac{1}{2}X_{s,t}\otimes X_{s,t}$. For example the Ito rough path is not geometric because ...

**16**

votes

**1**answer

2k views

### Why do people use “formal calculation” to describe informal calculations?

Many times, I see the word formal being used to describe a calculation that is not rigorous. I would think that such calculations should rather be termed informal than formal. What is the explanation ...

**3**

votes

**1**answer

200 views

### Variations on the Mellin and Dirichlet transforms

There are a number of variations on the Laplace transform that turn up all over math. Some examples:
$\int_{-\infty}^{\infty} f(t)e^{-st} dt$ - The Laplace transform
$\sum_{-\infty}^{\infty} ...

**12**

votes

**2**answers

781 views

### Describe the desired features of a “Mathematics Colloquium”?

I'm now a member of my department's colloquium committee. Our task is to make a great colloquium series. I thought that the first step would be to come up with an appropriate definition of ...

**3**

votes

**0**answers

168 views

### name for an intermediate notion between huge and 2-huge

I am employing a large cardinal notion that has been used explicitly before, and I am wondering if someone has given it a good succinct name.
A cardinal $\kappa$ is huge if there is an elementary $j ...

**4**

votes

**1**answer

260 views

### Is there a name for this space?

I'm just asking if there is a name for the space of functions on $\mathbb R^n$ whose norm is defined by
$$ \|f\|=\|\hat f\|_{L^p} $$
for $p\in [1,\infty]$. I find it handy to give it a name when ...

**1**

vote

**0**answers

159 views

### Products between metrics in a product of manifolds

In the "Einstein Manifold" book written by Arthur Besse, chapter 16, there is a notation of a manifold composed by the Cartesian product between two others:
$(M_1\times M_2, f^p(g_1 \times g_2))$
...

**4**

votes

**2**answers

343 views

### Terminology for metrics?

For some reason, I'm currently interested in the following relation - let $d,\delta$ be two metrics on some space $X$. We call the metrics _______ if there are some constants $C,E>0$ such that for ...

**2**

votes

**0**answers

63 views

### What is the name for the subring of the Grothendieck ring of a bialgebra spanned by one-dimensional representations?

Let $B$ be a finite dimensional bialgebra over a field $\Bbbk$. Let $\mathcal G_0(B)$ be the ring whose underlying additive group is generated by isomorphism classes $[V]$ of finite dimensional ...

**1**

vote

**1**answer

135 views

### Is there a name for the function on $TTM$ swapping the 2nd and 3rd coordinates?

I'm not so good on geometry, so I fear this is a relatively basic question.
For any $N \in \mathbb{N}$, let us identify the tangent bundle of $\mathbb{R}^N$ with $\mathbb{R}^{2N}$ in the obvious ...

**2**

votes

**0**answers

122 views

### Fixed area, largest mass — is there a name?

Let $x\in \mathbb{R}^n$ and let $s_k(x)$ denote the sum of the $k$ largest entries of $x$. The function $s_k(x)$ is well-known to be convex and is often used in optimization, such as
...

**3**

votes

**1**answer

830 views

### Who coined “mob” and “clan” and why these words?

A mob is a word used for a topological semigroup which is a Hausdorff space. A clan is a compact connected mob with a two-sided identity element.
Who used these words with these meanings first and ...

**2**

votes

**1**answer

91 views

### Is there a name for the level-sets of the signed distance function to a set in a metric space?

$\newcommand \X {\mathcal{X}}$
$\newcommand \sd {d_{\rm sign}}$
Let $(\X, d)$ be a metric space and define the distance between a point $x \in \X$ and a set $S \subset X$ by $d(x,S) = \inf_{y \in S} ...

**2**

votes

**2**answers

205 views

### Why the 'S' in S-procedure/S-lemma?

The S-procedure (also called as S-lemma) is a technique from V. A. Yakubovich that is used to relax a system of quadratic inequalities to a linear matrix inequality problem. It is used largely in ...

**11**

votes

**0**answers

305 views

### Why is a matrix pencil called a pencil?

I'm trying to understand the historical context behind the word pencil in matrix pencils, or pencil of curves so on.
I am aware that even Gantmacher 1959 has this terminology however I don't know ...

**0**

votes

**0**answers

43 views

### Definition of submaximal (group) topology

By [3] (or [2]), a submaximal group topology on a group is the infimum of all maximal group topologies on it.
By [4], a submaximal topological space is one with all dense subsets open.
By [1], a ...

**0**

votes

**0**answers

26 views

### Terminology for conditions on the negation of relations.

Suppose you have a relation $R$ and you want to impose the condition upon the relation $\lnot R$ that it be (e.g.) transitive. What would be a good terminology in this case? Would $counter transitive$ ...

**1**

vote

**0**answers

99 views

### Intuitive meaning of benign subgroup

Disclaimer! This is a copy of a question I posted on M.SE!
I still think the question belongs there but I'm not getting any answers so I'm dublicating with slight changes:
I've been studying a proof ...

**2**

votes

**2**answers

158 views

### Term for vertex connected to every other vertex in a graph

Do you know a good common term for the operation of connecting a new vertex v to every vertex in a graph G (or a term for such vertex v)?
The ones I know give me poor search results:
a nice word ...

**2**

votes

**0**answers

116 views

### Does this symmetrization operator have a name? Any theory?

Consider a function $f(x_1,\ldots,x_n)$ of $n$ complex variables. Define
$$f_{\mathrm{symm}}(x_1,\ldots,x_n) =
2^{-n}\sum_{\varepsilon_1,\ldots,\varepsilon_n=\pm 1}
...

**3**

votes

**1**answer

195 views

### Is there a standard notation for off-diagonal transpose?

Given a matrix $A=\begin{pmatrix}a&b\\c&d\end{pmatrix}$,
its transpose, obviously, is $A^T=\begin{pmatrix}a&c\\b&d\end{pmatrix}$.
But is there a conventional way of notating the matrix
...

**13**

votes

**2**answers

439 views

### Why is “The Higman Rope Trick” thus named?

I'm studiyng Higman's Embedding Theorem, and a fundamental part of the proof is the following lemma:
If R is a benign normal subgroup of finitely generated group F, then F/R can be embedded in a ...

**9**

votes

**0**answers

279 views

### Who first talked about “holes” in homology?

The question Why do the homology groups capture holes in a space better than the homotopy groups? and many others here use the idea that homology counts the ``holes'' in a space. The comments on this ...

**4**

votes

**1**answer

185 views

### Continuous-piecewise-linear versus piecewise-linear

Some authors use the term "continuous piecewise-linear" where other authors use the shorter term "piecewise-linear" (with continuity tacit).
I'd be interested in people's thoughts about this ...

**1**

vote

**0**answers

112 views

### Why are they called 'pernicious' numbers?

The definition of a pernicious number:
In number theory, a pernicious number is a positive integer where the Hamming weight (or digit sum) of its binary representation is prime.
The meaning of ...

**5**

votes

**1**answer

364 views

### Why is this group called “The Holomorph of a group”

Many years ago I found in google the notation "Holomorph of group". It is the semi direct product of $G$ with $Aut(G)$. Why is the term "Holomorph" used here, while it is usually used for complex ...

**4**

votes

**2**answers

299 views

### Has this construction, which builds a symmetric multicategory from a commutative monoid, been described or studied anywhere, and if so, where?

Whenever $R$ is a commutative ring, write $R[x^{(n)}]$ for the set of all $p \in R[x]$ such that $p$ is a monic polynomial of degree $n$. Then $R[x^{(n)}]$ is not closed under sums, nor does it ...

**5**

votes

**1**answer

204 views

### Is there a standard name for this poset

I've run into the following poset and I would expect it has a standard name. Let $n\geq k\geq 0$. Then $P_{n,k}$ consists of all $k$-element subsets of $\{1,\ldots,n\}$ ordered by $X\leq Y$ if ...

**2**

votes

**1**answer

133 views

### Terminology question for maps between posets

Let $P$ and $Q$ be two poset (partially ordered sets) and $\phi : P \to Q$ an order-preserving function.
I would like to know whether there is a name and perhaps a different characterizations of such ...

**0**

votes

**0**answers

82 views

### What is this graph property: number of vertices it takes to see every vertex?

I am wondering what the name is for the following graph property: given a graph $G$ what is the smallest cardinality of $A\subseteq G$ such that every $v\in G$ is connected to some vertex of $A$? I am ...

**1**

vote

**2**answers

246 views

### Polar Coordinate Systems on Manifolds [closed]

Is there agreement on how to interpret $r$ and $\varphi$ on a manifold if a reference point and a reference direction are given, or, put differently, does the definition of a reference point and, of a ...

**4**

votes

**5**answers

873 views

### A generalized diagonal?

A simple question. Let $ f:X\to Y $ be a function and let $ E_f:=\{(x, y): f (x)=f (y)\}\subset X\times X $. What is the name of the set $ E(f) $? It would be nice to have some reference also. It ...

**1**

vote

**0**answers

80 views

### How would you call a variety that is locally a complete intersection up to defect c?

Let $X$ be an equidimensional variety of dimension $n$ over a field that can be covered by open subvarieties of certain intersections of $N-n$ hypersurfaces in $P^N$ (for a large enough $N$; we ...