For requesting, clarifying, and comparing definitions of mathematical terms.

learn more… | top users | synonyms

1
vote
0answers
35 views

Proper usage for term, addend, factor, multiplicand, expression, formula

The definitions and usage of the following words seem to vary, depending on the source text: term addend factor multiplicand expression formula The words are being used in the context of ...
1
vote
0answers
36 views

The maximum notation as regards the absolute value?

We know that $\max(\textbf{A})$ gives the maximum element of the array $\textbf{A}$. What is the notation, or a short formula, if we seek the element having the largest absolute value? e.g., ...
1
vote
0answers
23 views

$k$-cube definition clarrification

If $c:I^k\rightarrow\mathbb{R}^n$ is a singular $k$-cube. What will $\partial c$ be? Will it be a singular $(k-1)$-cube or a $(k+1)$-cube or something else? Definition - A singular $k$-cube on $U$ ...
1
vote
0answers
15 views

What is the $\bar{d}$-metric for translation-invariant measures?

I've often heard of the so called $\bar{d}$-metric for translation-invariant measures. I found something like $$ \bar{d}(m_1,m_2)=\inf\text{Prob}^m\left\{\eta(0)\neq\delta(0)\right\}, $$ where $m_1$ ...
1
vote
0answers
56 views

What is a coupling argument?

In an article I've read in a proof that distinguishes two cases something like: "the second case can be shown by an easy coupling argument using the first case." What is a coupling argument? Edit ...
1
vote
0answers
44 views

Definition of nonlinear bounded operator

Hi I am interested in confirming the definition of a bounded operator for a nonlinear operator. Let $X,Y$ be normed spaces. It is well known that a linear operator between $T:X \rightarrow Y$ is ...
1
vote
0answers
30 views

Composite residuosity statement.

Consider the following definition. A number $z$ is said to be $n$-th residue modulo $n^2$ , if there exists a number $y \in \mathbb{Z}_{n^2}^*$ such that $$z\equiv y^n \mod n^2$$ Let us take $n=6$ ...
1
vote
0answers
22 views

Clarification of Definition: Free Algebra

I need some clarification on the definition of free algebra. Here is an extract from Lie Algebras and Lie Groups by Jean-Pierre Serre: I am somewhat confused about the definition of free algebra. ...
1
vote
0answers
28 views

trail vs path in Graph Theory v/s Graphical Models

In my course on probabilistic graphical models, I learnt (quoting from page 36 of the book Probabilistic Graphical Models: Principles and Techniques by the same author) Path: We say that X1 , . . . ...
1
vote
0answers
92 views

What does $p\mathbb{Z}_p$ mean?

I am looking at Hensel's Lemma: Let $F(x)=a_0+a_1x+ \dots + a_n x^n \in \mathbb{Z}_p[x]$. We suppose that there is a $p$-adic number ($p>2$) $\alpha_1 \in \mathbb{Z}_p$, such that: $$F(\alpha_1) ...
1
vote
0answers
144 views

Borel Measures: Atoms (Summary)

Disclaimer: The question here has been solved, now: Finest Measurable Partition (For jeapardy it is stated below, anyway. Have fun! ;) ) Summary: This is a summary of the discussions: ...
1
vote
0answers
42 views

What's the best way to define $\mathbb{H}$?

I had once defined $\mathbb{C}$ as $\mathbb{R}\times\mathbb{R}$ as a set, then I found it extremely uncomfortable when doing complex analysis or measure theory. So I changed its definition so that ...
1
vote
0answers
17 views

Weierstrass conditions, what does strong mean, and are both conditions required?

I have the Weierstrass condition: In order that the extremal $\bf{C^*}: x = x^*(t)$ give a strong local minimum to $\bf{J[x]}$ it is sufficient that: # ...
1
vote
0answers
44 views

Definition - Logarithmic Zeros and Algebraic Vector Fields

In Algebraic Geometry, what is the difference between an algebraic vector field and a derivation (are they completely different or synonymous)? What does it mean to say an algebraic vector field has ...
1
vote
0answers
129 views

Rapidly Decreasing Functions

Can someone explain the notion of a rapidly decreasing function? Namely, a function in the Schwartz space: $$\mathscr{S}(\mathbb{R}^n):= \{ f \in C^{\infty} (\mathbb{R}^n) : ||f||_{\alpha, \beta} ...
1
vote
0answers
127 views

Different definitions of uniform integrability

In different books and resources, I saw different definitions of uniformly integrable. For example, in some books the definition is like: Definition 1: $\{f_k\}\in L^1(E)$ is uniformly integrable ...
1
vote
0answers
79 views

definition of unitary operator

Wiki says " A bounded linear operator $U: H \to H$ on a Hilbert space $H$ is called a unitary operator if it satisfies $U^{*}U=UU^{*}=I$ , where $U^{*}$ is the adjoint of $U$, $I$ is the identity ...
1
vote
0answers
49 views

What's the name of this type operator?

If $H$, is a seperable Hilberspace, $E$ seperable Banach space. $(h_n)$ orthonormal basis of $H$. Let $T\in B(H,E)$. If we have the condition on $T$ that $$\sum_k \left\|Th_k\right\|^p <\infty,$$ ...
1
vote
0answers
46 views

What is real periodic function

I would like to know what is real periodic function. I understand what is periodic function, but I do not understand what is "real" periodic function.
1
vote
0answers
75 views

Is the proof of non-totality of a function $f$ trivial if $f$ is recursively defined only on a subset of $\Bbb N$?

I define a fuction $*$ in a recursive way on a subset of natural numbers (with subset I mean that is $*$ define in the second argument only for $\Bbb N-\{0,1\}$ in other words we have $*:\Bbb N ...
1
vote
0answers
42 views

Terminology: Name for general, non-differential equations over $\mathbb{R}^n$

Let $x \in \mathbb{R}^n$ be a variable, and $f_1, \ldots , f_n : \mathbb{R}^n \mapsto \mathbb{R}$ be a sequence of functions, each having a closed form expression. Assume that we want to solve the ...
1
vote
0answers
51 views

Motivation for defining a functions codomain

Why not always refer to a functions image, what is the point in specifying some super set of that image and then naming that super set the functions "codomain"? What does explicitly defining a set ...
1
vote
0answers
112 views

Meaning of $A^A$

Let $A$ be a matrix. I know that there is definition for $A^k$ power of $A$, and $e^A$ expontential of $A$. Is there any meaning of $A^A$?
1
vote
0answers
52 views

“Filters” of associative rings

Does there exist some good notion of "filters" for arbitrary associative rings with unity that would generalize filters of Boolean rings? For me, if $R$ is an associative ring with unity $1$, it ...
1
vote
0answers
56 views

Binary operation (english) terminology

Foreword: I have read R.H. Bruck's A Survey of binary systems, where the notion of halfoperation is given. A halfoperation $\ast$ differs from a (binary) operation since $a\ast b$ may not be defined ...
1
vote
0answers
16 views

acclivity of differential equation not defined

the differential equation y'*y=cos(x) has the acclivity of y'=cos(x)/y. Obviously the acclivity is not defined for points (x=r;y=0). r= real numbers Is there a way to give a short but logic argument ...
1
vote
0answers
48 views

What is a Complete Set of Weights of a Representation of a Lie Subalgebra?

In relation to Lie Group and Lie Algebra theory, I am studying about the weights of representations. I have come across the terminology "a complete string of weights" in my lecture course, but it is ...
1
vote
0answers
37 views

A question about the names of the components of an interval

Suppose you have the interval $[n,10n]$. How do you call the $n$ in this interval? I think the $n$ can be called the "independent variable of the interval" (since the interval $[n,10n]$ can be written ...
1
vote
0answers
16 views

Borel - Regular elements

In Borel's Linear Algebraic Groups (2ed) page 160 a regular element is defined in terms of its semisimple part, “thus $g$ is regular if and only if $g_s$ is regular.” A unipotent element $g$ has ...
1
vote
0answers
43 views

How is this function continuous?

The textbook stated that the following function whose domain is $\mathbb{R}$is continuous for every point in the domain: $g(x)=1, 0\le x\le1$ $=2, 2\le x \le3$, and it continues this patern. What ...
1
vote
0answers
45 views

On definition and usefulness of “Cayley table”

Dummit-foote p.21 Let $G=\{g_1,\cdots,g_n\}$ be a finite group with $g_1=1$. The Cayley table of $G$ is the $n\times n$ matrix whose (i,j)-entry is $g_ig_j$. This definition is based on an ...
1
vote
0answers
38 views

Computing the differential (not the Jacobi-Matrix) independent of a basis choice

I am eager to learn more about the differential. I was told that it is a good practice to compute the differential independent of a choice of a basis using the following definition Definition: ...
1
vote
0answers
44 views

Indecomposable groups vs. indecomposable objects

An object $X$ in a category $\cal C$ with an initial object is called indecomposable if $X$ is not the initial object and $X$ is not isomorphic to a coproduct of two noninitial objects. A group $G$ ...
1
vote
0answers
33 views

Difficulty with terminology/standard definition for Jordan-normal form.

(Perhaps this is something rather for MOverflow, don't know) I've understood the concept of the Jordan-normal-form such that it is similar to the idea of diagonalization of a matrix, but can be ...
1
vote
0answers
136 views

Algebraic definition or construction of real numbers

Is there any algebraic definition or construction of real numbers ? If not, why ?
1
vote
0answers
61 views

Definition: foci of a quadric

How are the foci of a quadric defined? By a quadric I mean a set $$ Q = \left\{ x \in \mathbb R^n \mid x^T A x + 2 b^T x + c = 0 \right\}, $$ where $A\in\mathbb R^{n\times n}$ is symmetric and ...
1
vote
0answers
38 views

What is $(j,\epsilon)$-normality?

In looking at the concept of normality for real numbers I have come across the notion of $(j,\epsilon)$-normality, but cannot find a definition for this. could anyone explain what this term means?
1
vote
0answers
36 views

In a translation of a classic math book: is the term *normal* translated correctly? Is there a better term?

I am reading an English translation of the classic book by Gelfond & Linnik: Elementary Methods in the Analytic Theory of Numbers. Here is the definition of "normal" from the book (page 5 in my ...
1
vote
0answers
71 views

Understanding a.. weird definition

I came across the following definitons: Let $n$ be a positive integer and $\zeta_n$ be a primitive $n^{th}$ root of unity. For any prime $p\nmid n$, let the degree of the extension ...
1
vote
0answers
19 views

How do I state a reduction in cost?

I have developed an algorithm and am having a hard time stating its benefit versus a baseline. Suppose that the baseline cost of solving the problem is 1000 seconds. Now suppose that my algorithm ...
1
vote
0answers
88 views

$ |\sin (x) | \leq 1$ by it's definition

I was told that it can be shown that $|\sin(x)| \leq 1$ by its definition $\sin (z):= \frac{1}{2i} \bigl( (\exp(iz)-\exp(-iz)\bigr) $ I am aware that as soon as I choose $x \in \mathbb{R}$ and ...
1
vote
0answers
46 views

Subgraph without “holes”

does everyone know, if there already exists a definition of subgraphs, which do not contain a "hole"? EDITED: That means: I presuppose a planar embedding of a graph G and I want to find a connected ...
1
vote
0answers
89 views

$f: E \to \mathbb{R}^m$ is not continuous at $x_0$, show that $g:E \cup \lbrace x_0 \rbrace \to \mathbb{R}^m$ is continuous at $x_0$

Let $E \subset \mathbb{R}^k, f: E \to \mathbb{R^m} $ be a function. Let $x_0 \in \mathbb{R}^k$ such that $x_0 \notin E$ but note that $ \displaystyle \lim_{x \to x_0}_{x \in E}=y_0$ does exist. ...
1
vote
0answers
210 views

Difference between “marginal variance” and “true variance”?

[This question is not about solving a mathematical problem, but about definitions; please tell me if there is a better forum to ask it.] In a paper I am reading, the author writes: ...the sole ...
1
vote
0answers
84 views

About definition of topology

let be $m$ a function "$m: X \to \mathcal{P}(\mathcal{P}(X))$" (and I denote: $m(x) := m_x, \forall x \in X $), $m$ is topology on $X$ if: 2)$ \forall x \in X (\forall t \in m_x(x \in t)) $ 3)$ ...
1
vote
0answers
60 views

evaluating a meromorphic section of a line bundle at a point

Let $D$ be a Cartier divisor of a variety $X/K$ with associated line bundle $\mathcal{O}(D)$ and meromorphic section $s_D$. How do you define $s_D(P) \in K$ for $P \in X(K) \setminus ...
1
vote
0answers
377 views

Arc Length Parametrization

Professor was a little fuzzy on this topic, so I just wanted to make sure I have this definition correct: Given a function $\alpha : T \to C \mid t \in [a,b]$ , where $t$ is the parameter and $C$ is ...
1
vote
0answers
43 views

What's a algebraically isolated singularirty?

What's its formal definition and how does it differ from a "simple" isolated singularity? I'm thinking about integrable $1$-forms here, though the definition may be more general.
1
vote
0answers
71 views

How to Define an Infinite Anti-Diagonal Matrix

We can define an infinite diagonal matrix with some ease, and then say that a finite diagonal matrix is the top left sub-matrix of our infinite one. Can we define an infinite anti-diagonal matrix? It ...
1
vote
0answers
61 views

Is a single nontrivial convex set in a topological vector space enough to make it locally convex?

This is sort of a definition question. While a tvs is locally bounded if it contains a bounded neighborhood of the origin, a tvs is called locally convex if it contains a fundamental system of ...