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

learn more… | top users | synonyms

2
votes
2answers
177 views

What's a local angle?

When I was trying to understand the definition of conformal map I got confused. A conformal map is a function $f: U \to \mathbb C$ where $U \subset \mathbb C$ such that $f$ preserves local angles. ...
2
votes
1answer
82 views

What is an adjoint operator?

The following conjeture is stated here: Every adjoint operator has a non-trivial closed invariant subspace. Reference 11 where adjoint is supposedly defined can be found here. But I don't have ...
2
votes
2answers
82 views

What is the definition of closed subspace?

I am trying to understand what is intended with closed subspace, I took the following guess: A closed subspace $M$ of a Hilbert space $H$ is a subspace of $H$ s.t. any sequence $\{x_n\}$ of elements ...
2
votes
1answer
67 views

Is it possible to have an $a \times b \times c$ matrix?

The book Artificial Intelligence: A Modern Approach states that a certain variable is a $2 \times 2 \times 2$ matrix", but I thought that matrices could only be rectangular (i.e. $a \times b$). Is it ...
2
votes
1answer
53 views

What is a linear equation?

How do we define the linear equation? I mean, it looks like a polynomials with degree one but I'm not sure if $ax+by+c=0$ is a linear equation if $a=b=0$?
2
votes
2answers
112 views

Is the angle between a vector and a line defined?

Is the angle between a vector and a line defined? The angle between two lines $a,b$ is defined as the smallest of the angles created. The angle between two vectors $\vec{a},\vec{b}$ is the ...
2
votes
1answer
53 views

Family of “something very close to be a curve” over a curve $C$

Hartshorne (IMHO restrictive) definition of a curve: Definition of (complex) curve: A curve is an integral separated scheme of finite type over $\mathbb C$ of dimension $1$. (The definition of a ...
2
votes
2answers
64 views

Cauchy property of a series

Are these two definitions equivalent, even though the first one has an extra term: If we consider the series $\sum_{n=1}^{\infty}x_{n}$ and the formal definition of a Cauchy property defined in terms ...
2
votes
1answer
654 views

Exact definition of a circular helix

I know that a cylindrical helix is a curve $\alpha: I \to \Bbb R^3$, such that exists a constant vector $\bf u$ which makes a constant angle with the tangent vector $\bf T$ to the curve, at every ...
2
votes
1answer
32 views

Concise description of Lebesgue measure in $\mathbb{R}^{n}$

I would like to confirm that the following is an acceptable description of the Lebesgue measure in $\mathbb{R}^{n}$. The outer Lebesgue measure $E \subset \mathbb{R}^{n}$: $$\lambda^{*}(E) = ...
2
votes
1answer
93 views

A better definition of Polynomial

Usually, we define a polynomial as $a_n x^n + \cdots + a_1 x + a_0$ where $x$ is called indeterminate. Would it be better to define it as $a_n x^n + \cdots + a_1 x + a_0 x^0$ where $x^0$ means ...
2
votes
1answer
2k views

What's the difference between a cyclic and periodic function?

I've seen the words "cyclic" and "periodic" used to describe characteristics of a given function. What do they mean? I can't seem to find a difference. Wikipedia says a periodic function is one that ...
2
votes
1answer
117 views

Definition of disc and open ball

I have the following definitions in my notes for arbitrary discs and open balls - $$D^n = \{x \in \mathbb{R^{n+1}}: ||x|| \le 1\}$$ $$B^n = \{x \in \mathbb{R^{n+1}}: ||x|| < 1\}$$ The ...
2
votes
1answer
69 views

formalize definition of topology

In my studies I used this definition of topology, but I am reading on wikipedia a different definition... I thought to formalize: Def. let be $A$ a set and $B \in \mathcal{P}(\mathcal{P}(A))$, ...
2
votes
2answers
72 views

A problem with the domain of function in the defintion of limits

My Stewart's Calculus gives the following definition of limit: $f(x)$ is defined on some open interval containing $a$, except at possibly $a$. So, $\lim_{x\to a} f(x) = L $ if and only if for ...
2
votes
1answer
67 views

“internal” definition of complete regularity?

There is something strange (I think) about the complete regularity separation axiom. Consider the definitions. T0 means for every two distinct points there is an open set containing exactly one of ...
2
votes
1answer
493 views

Clear definition of degeneracy of a graph.

There are at least two questions on this topic but the answers are not clear to me and WiKi link didn't make it any clear either. Could someone please clarify is the degeneracy of a graph $G$ ...
2
votes
1answer
107 views

Definition of an $n$-tuple agreeing with the Kuratowski's definition of an ordered pair

Is there a nice and elegant definition of an $n$-tuple ($n$ is a nonnegative integer) in ZFC, which will at the same time agree with the Kuratowski's definition of an ordered pair, i.e. $\left ( a,b ...
2
votes
2answers
44 views

Does the definition of “mean”/“average” require the result to be in the domain set?

If I have a function that calculates the mean value of a set of elements that is an arbitrary subset of some set $X$, does the mean, by definition, have to also be in $X$? (In other words, if the mean ...
2
votes
3answers
65 views

I'm confused about the definition of poset.

The definition of poset : $\qquad$A set with a partial ordering. Partial ordering is a binary relation $\preceq$ over a set ($P$). If I understood the definition of relation correctly, then ...
2
votes
1answer
81 views

Why do people not use “partially directed” graphs?

Are there structures in use which are a mix of directed and undirected graphs? I.e. the effective edge-set consists of both directed and undirected vertex pairs. In the case that the graph is simple, ...
2
votes
1answer
48 views

Why do we want to define a $k$-scheme to be birational if the rational map (and its inverse) to $\Bbb A_k^n$ is over $k$?

Two varieties $X,Y$ are said to be birational if there exist rational maps in each direction such that either composition is the identity on a open dense subset. Note that here the morphisms aren't ...
2
votes
1answer
222 views

Subspace with different vector space operations

Let $A,B$ be vector spaces such that $A\subseteq B$. Is it true that $A$ is a subspace of $B$? I claim that the answer is no, because it is possible that $A$ and $B$ might be equipped with different ...
2
votes
1answer
44 views

What is a cofactor in this case?

Im looking at a homework problem I have and I am a bit confused. The first part of the question is to show that 8128 is a perfect number. This is simple enough: $1 + 2 + 4 + 8 + 16 + 32 + 64 + 127 + ...
2
votes
1answer
158 views

Definition of pull-back analogous to push-forward

Let $U\subseteq\mathbb{R}^n, V\subseteq\mathbb{R}^m$ be open subsets, and $f:U\rightarrow V$ a $C^1$ map. Let $u,v$ be vector fields on $U,V$ respectively. Then the push-forward $f_*u$ is equal to $v$ ...
2
votes
1answer
46 views

definition clarification in graph theory

I was studying about Almost Self-Centered Graphs (ASC). ASC graphs are introduced as the graphs with exactly two non-central vertices. Of course, the remaining two vertices are diametrical. My doubt ...
2
votes
1answer
555 views

What sets are Lebesgue measurable?

I cannot detect the fallacy in the set of the following statements in my inconsistent notes: A sigma algebra is a set of the sets in the generating set closed under the set operations countable ...
2
votes
2answers
103 views

definition of rectangle

I am wondering whether it is fine to define a rectangle with right angles like Wikipedia's page of rectangle. In Euclidean plane geometry, a rectangle is any quadrilateral with four right angles. ...
2
votes
1answer
66 views

What is the function that is not a binary function called?

A binary operation is a calculation involving two elements of the set and returning another element of the set. Suppose it doesn't return an element of the set. What is the function called? For ...
2
votes
1answer
86 views

Group of finite ideles

A simple question: If $\overline{\mathbb{Q}}$ denotes the algebraic closure of $\mathbb{Q}$ in $\mathbb{C}$ then what is the definition of the group of finite ideles of $\overline{\mathbb{Q}}$? ...
2
votes
1answer
63 views

Is Wikipedia's definition of $\omega$-inconsistency problematic in this way?

I could be wrong, but the definition of $\omega$-inconsistency given at over Wikipedia seems slightly problematic. In particular, Wikipedia claims that $\omega$-inconsistency is a property of a theory ...
2
votes
2answers
180 views

Apostol question on alternative definition of dot product

The problem says: Suppose we define the dot product by $A\cdot B = \sum_{k=1}^n |a_kb_k|$. Which of the following properties hold with this new defition? Does the Cauchy-Schwarz inequality still ...
2
votes
2answers
226 views

A definition of algebraic expression

Definition of algebraic expression An algebraic expression is a collection of symbols; it may consist of one or more than one terms separated by either a $+$ or $-$ sign. If by symbol we only mean ...
2
votes
1answer
63 views

If for every $x_n$ such that $x_n \rightarrow x$, there exists a $x_{n_k}$ such that $Tx_{n_k} = Tx$, is $T$ continuous?

Let $X$ and $Y$ be Banach spaces and $T$ be the (possibly nonlinear) map $T\colon X \rightarrow Y$. $T$ is continuous if for every $x_n \in X$ such that $x_n \rightarrow x$, then $Tx_n \rightarrow ...
2
votes
1answer
216 views

On the definition of divisors in Riemann Surfaces

The sum notation for a Divisor $D$ in a Riemann Surface $X$ (as in Miranda's "Algebraic Curves and Riemann Surfaces") is $$ D=\sum_{p\in X} D(p)\cdot p $$ That is, $D$ assumes the value $D(p)$ at $p$. ...
2
votes
2answers
157 views

In a groupoid, do any two objects have a morphism between them?

This is a question about the definition of a groupoid (in category theory). I've read the Wikipedia article, and it says that a groupoid is a small category in which every morphism is an isomorphism. ...
2
votes
3answers
1k views

Positive constant scalar definition

In French when we say "$k$ est une constante positive", that means $k\geq 0$. But I remarked that using the same sentence in English, "$k$ is a positive constant", means that $k>0$. Can one explain ...
2
votes
1answer
245 views

Limit point definition

I have read the definition of a limit point of a set in Real Analysis. The definition goes like: A number $p$ is said to be a limit point of a set of reals, $S$, if every neigbourhood of $p$ has at ...
2
votes
2answers
201 views

What is the meaning of the expression $\liminf f_n$?

I am a little confused as to what $\liminf f_n$ means for a sequence $f_n$ of functions converging to $f$. I can not locate a definition anywhere.
2
votes
1answer
88 views

A question on linear ordered space

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$. And we know every space contains a dense left-separated subspace. My question ...
2
votes
1answer
75 views

Using the notation $m^{O(1)}$

$m^{O(1)}$ denotes the set of functions $\mathbb{N} \to \mathbb{N}$ which are polynomially bounded. (Is that what is usually means?) Now it used as follows: $$ f(m) \leq m^{O(1)}$$ To express that ...
2
votes
1answer
426 views

Meaning of no explicit time dependence

What does "no explicit time dependence" mean in this context? : A symmetry of the KdV is given by $$\tilde x=x, \tilde t=t+\epsilon, \tilde u =u$$ as there is no explicit time dependence in the ...
2
votes
1answer
82 views

What is the name of the group linear functions on a finite field?

More precisely what is the name for the group $$\{ X\mapsto \alpha^2X+\beta : \alpha,\beta \in GF(q), \alpha \neq 0\}$$ I've always called it the special affine group, but I see that can mean ...
2
votes
1answer
151 views

Is the “binary operation” in the definition of a group always deterministic?

The introduction to group theory that I'm reading requires that the actions of a group are "deterministic"; but the formal definition given makes no mention of this property: A set G is a group if ...
2
votes
4answers
128 views

What are possible variations of the definition of $\sigma$-additivity?

From what I've read in Wikipedia, $\sigma$-additivity is defined in the following way: Let $\mathcal{A}$ be a $\sigma$-algebra of some underlying set $X$ and let $f$ be a mapping ...
2
votes
1answer
6k views

What does it mean for a functional equation to have a unique solution?

It is my thinking that unique conventionally means special or one of its kind. But in the context of solving functional equations*, I am confused what it means to have a unique solution... *e.g. Find ...
2
votes
1answer
456 views

Partial derivative notation: is that a projection function?

Consider the following definition: Let $(U,\phi)$ be a chart and $f$ a $C^\infty$ function on a manifold $M$ of dimension $n$. As a function into $\mathbb{R}^n$, $\phi$ has $n$ components ...
2
votes
1answer
29 views

Definition of component for a digraph?

I could find this in Wikipedia Component: A connected component of a graph is a maximal connected subgraph. The term is also used for maximal subgraphs or subsets of a graph's vertices that have ...
2
votes
1answer
35 views

Mathematical definition of the word “generic” as in “generic” singularity or “generic” map?

I've been trying to work out what generic means but I'm not making much progress. You can find an example of the usage of the word generic for example here: "School on Generic Singularities in ...
2
votes
1answer
58 views

What's the difference between a Nash, Correlated, and Extreme equilibrium?

As the title states, what's the difference? As I understand it: The Nash Equilbirum (NE) is a solution concept in non-cooperative games where no player has incentive to unilaterally deviate from a ...