Definitions are the core of mathematical precision; they come to answer "what is X" in mathematics. Into this category fit questions regarding equivalence of definitions; clarifications regarding complicated definitions; as well questions with purposed definitions for mathematical notions with ...

learn more… | top users | synonyms

1
vote
0answers
52 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 ...
1
vote
0answers
54 views

With infinite size, we can have $P \cdot M = M \cdot D $ (D diagonal) but where $M^{-1}$ does not exist. Can we say “P is diagonalizable”?

(I had this question in mind for longer time, but it is just triggered now by some comments at that recent question in mse) (Background) I was looking at properties of the Pascal-matrix: ...
1
vote
0answers
84 views

Which cut does the “minimum cut” refer to?

My course notes give the following definitions; could someone please verify that the last definition is non-standard? (I've spent all evening googling, and isn't "minimum cut" a concept related to cut ...
1
vote
0answers
110 views

How can I show using the $\epsilon-\delta$ definition of limit that $u(x,y_0)\to l$ as $x\to x_0?$

Let $u(x,y)\to l$ as $(x,y)\to z_0=(x_0,y_0).$ How can I show using the $\epsilon-\delta$ definition of limit that $u(x,y_0)\to l$ as $x\to x_0?$ Choose $\epsilon>0.$ Then ...
1
vote
0answers
194 views

Different Definitions on the Differentiability of Functions on a closed set.

I have encountered three different definitions on the differentiablity of functions on a closed set. In the following, suppose that $\Omega\subset M$ is a (open) domain, where $M$ is a manifold. The ...
1
vote
0answers
35 views

What is the appropriate def. of $\sigma$-($\Sigma^1_1$) measurable.

I know that borel measurable means that the inverse image of a Borel set (or open set) is measurable. Edit: I am speaking of the sigma algebra generated by the analytic sets in a top. space.
1
vote
0answers
266 views

different kind of convergence in Real analysis

Now I am studying real analysis, I wonder if anyone can sum up all the relations between all kinds of convergence, convergence in measure, convergence a.e., convergence a.u., and convergence in ...
1
vote
0answers
80 views

Defining things in a non-recursive manner

In this question I asked, if it was possible to define certain functions without the use of the recursion theorem. The answer, among other things, indicated that it theoretically would be possible, ...
1
vote
0answers
23 views

Definition of Chromatic class digraph of a m-coloured digraph

I have to prove that if $D$ is a m-coloured digraph, then $K(D) = K\big(C(D)\big)$ Where $C(D)$ is the chromatic transitive closure of $D$, which is a multidigraph with the same nodes and arcs of $D$ ...
1
vote
0answers
142 views

How to prove the definition of arctangent by G. H. Hardy through integral?

From introduction to analysis,by Arthur P. Mattuck,problem 20-1. I am stuck in the sub-problem (d) of this problem,especially the magic number 2.5,please help,thanks. Problems 20-1 One way of ...
1
vote
0answers
97 views

How are the various numbers in the standard 2.2 gamma correction for RGB derived?

Here is the standard fwd Gamma 2.22 (1 / 0.45) correction formula: ...
1
vote
0answers
65 views

Definition of fragility

What does it mean for a solution to a system of differential equations to be fragile? A context for the term can be found here: This is taken from here in Mathematical Methods for Mechanics: A ...
1
vote
0answers
59 views

Are equidimensional ideals and unmixed ideals the same?

Zariski-Samuel define an unmixed/equidimensional ideal to be one whose associated primes have the same dimension. At other places I have seen definitions saying unmixed=all associated primes have same ...
1
vote
0answers
93 views

Definition of stereoprojection and Möbius maps

@WillieWong has kindly pointed out that there are 2 definitions of stereographic projection. One with the unit sphere placed on top of the plane, the other where the plane is at the equator of the ...
1
vote
0answers
170 views

Is the extra condition in this definition superfluous?

I am learning Differential Geometry and someone told me that the second condition of a definition provided in books follows from the first and is hence superfluous. I cannot dispute it, so convince me ...
0
votes
0answers
16 views

Wronskian, Linear Independence

Show that the following functions are linearly independent: $$e^t\begin{bmatrix}1\\1\\0\end{bmatrix}$$ $$e^{2t}\begin{bmatrix}0\\2\\1\end{bmatrix}$$ $$e^{-t}\begin{bmatrix}1\\0\\1\end{bmatrix}$$ ...
0
votes
0answers
20 views

Clarification on the definition of truth

So I am learning about the Godel's theorem. My instructor define truth and falsity as something arbitrary. he define $f$ to be true is $f(x)$ is $1$ and if $f(x) = 0$, it is false. I still dont have a ...
0
votes
0answers
24 views

Why an $R-algebra$ requires $R$ to be commutative?

Here is the definition of $R$-algebra. Let $R$ be a commutative ring Let $(A,+\cdot)$ be an $R$-module. Let $\ast$ be a binary operation on $A$. If $x\ast(y+z)=x\ast y + x\ast z$ ...
0
votes
0answers
8 views

Developing closed-form from recursive definition

Here is a recursively-defined function where c, d ∈ N. T(n) =    c, if n = 0 d, if n = 1 2T(n − 1) − T(n − 2) + 1, if n > 1 Carry out the five steps for repeated substitution to prove a ...
0
votes
0answers
11 views

Are there terminologies distinguishing modules over ring and rng?

Let $R$ be rng. Let $M$ be a left $R$-module. Let's say, after some verification, one realized that $R$ has a unity and it doesn't satisfy $1_R \cdot x$ for all $x\in M$. Hence, one cannot call $M$ ...
0
votes
0answers
46 views

What makes a line “straight”?

In Euclidean space, there can be several definitions that makes a straght line: Line of shortest distance between two points Line that is linear, i.e with the points satisfying a linear equation ...
0
votes
0answers
7 views

Intuitive explanation of “deterministic system”?

Wikipedia Definition: In mathematics and physics, a deterministic system is a system in which no randomness is involved in the development of future states of the system. A deterministic model will ...
0
votes
0answers
17 views

Rotational invariant curve definition

I have a question about the definition of rotational invariant curve. The definition I have is the following "By an invariant curve for a twist map $F$ we mean a simple closed curve that is invariant ...
0
votes
0answers
32 views

Definition question.

Suppose we have $x \in \mathbb{R} / [0,1)$. We call $\lfloor x \rfloor$ the integer part of $x$. What do we call $\bar{x}=\frac{x}{\lfloor x \rfloor}$??? I would call it fractional part but it ...
0
votes
0answers
40 views

Definition of a summation from minus infinity

Formally, an infinite series is defined as the limit of its partial sums: $$\sum_{n = 0}^\infty a_n \equiv \lim_{n \to N} \sum_{n = 0}^N a_n$$ However, how does this work for summations such as the ...
0
votes
0answers
18 views

What does it mean to say a simplex has all its vertices distinct?

In Hatcher I'm trying to solve the problem: Show that the second barycentric subdivision of a $\Delta-complex$ is a simplicial complex. Namely, show that the first barycentric subdivision produces a ...
0
votes
0answers
12 views

What do $A \upharpoonright x$ and $\mu s \ge x$ denote?

I am reading Computability Theory by Cooper and I do not understand the notation in the definition on the page 230: Let $\{A^s\}_{s \ge 0}$ be a $\Delta_2$-approximating sequence for $A \in ...
0
votes
0answers
20 views

Definition of local truncation error

In the first reference of Wikipedia the local truncation error defined as $$ \tau_n = y(t_n)-y(t_{n-1})-hA(t_{n-1},y(t_{n-1}),h,f) $$ But in the second reference mentioned that $$ \frac{\tau_n}{h} ...
0
votes
0answers
22 views

What's the definition of $C_0(\Omega)$?

Here is a definition of $C_0(\Omega)$ in wikipedia: (http://en.m.wikipedia.org/wiki/Vanish_at_infinity) Let $(X,\tau)$ be a locally compact space. Let's call "a function $f:X\rightarrow ...
0
votes
0answers
48 views

Fountain code and online code

Are fountain code and online code the same? It seems to me they have the same property, which is used in lossy channel and generate unlimited encoded block. If they are the same, then what encoding ...
0
votes
0answers
62 views

Confused by definition of an open set in “All the Mathematics You Missed”

On page 66 of Thomas Garrity's "All the Mathematics You Missed", Garrity gives the following definition of an open set in $\mathbb{R}^n$: A set $U$ in $\mathbb{R}^n$ will be open if given any $a ...
0
votes
0answers
21 views

Conjugate actions

What is the definition for two group actions to be conjugate? For example a smooth action of a finite group on a manifold is locally conjugate to an orthogonal action.
0
votes
0answers
18 views

Definition of Non-characteristic Manifold

What is the definition of non-characteristic manifold in the following context. "Since $ f (x, y)=0 $ is assumed to be a non-characteristic singularity manifold, we have $ f_{x}\neq 0 $." Thanks, ...
0
votes
0answers
23 views

Vanishes of second order

I encountered the following statement in an article: Let $f(X) = f(X_1, ..., X_N) = \sum_{|\alpha| \geq 2} {a_{\alpha}X^{\alpha}}$ be a convergent power series which vanishes of second order at ...
0
votes
0answers
42 views

How do you call a scale that starts at $∞$, has $1/n$ divisions and tends to $0$?

A linear scale $2n$ divisions: 0 2 4 6 8 Logarithmic scales $10^n$ divisions: 1 10 100 1000 10000 ...
0
votes
0answers
31 views

Notation problem with a set of tuples and a metric

The first question: Assume we have tuples $T_i = (x_i, \vec{c}_i)$ ($x_i$ is the name of the object which is characterized by $\vec{c}_i$ in a d-dimensional space) and define a set of them $TS = ...
0
votes
0answers
17 views

Name for “relative difference”

If we want to express that two numbers $x, y$ are not so far away from each other absolutely we use the absolute value function $|\cdot|$ with $0 < \epsilon \ll 1$: $$|x-y| < \epsilon$$ ...
0
votes
0answers
8 views

Category of a PDE and its properties

Now I am working on numerical method for a PDE. I am considering the following PDE: $$ u_t+a^2u_{xx}=f\\ u(x,0)=u_0\\ u(x,t)|_\Gamma=u_g $$ That equation seems very like heat equation which only ...
0
votes
0answers
32 views

What is “Triangulable Triad”?

I am reading George W. Whitehead's Homotopy Theory; Corollary 1.0.2 mentioned the term "Triangulable triad" without definition. May I know how it is defined?
0
votes
0answers
13 views

Dyadic expansion: Definition of $F^{i-1}\omega$?

In Billingsley probability and measure under Dyadic expansion it is stated: dinfe a mapping $F$ from $\Omega=(0,1]$ into itself given by $$F\omega=\begin{Bmatrix} 2\omega & \mbox{if } 0< ...
0
votes
0answers
37 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 ...
0
votes
0answers
26 views

Definition review: how to make this geometric definition clearer?

In a paper I am writing, I rely on the following definition Given a geometric shape $C$ and a family of geometric shapes $S$, The division number of $C$ relative to $S$, denoted $DivNum(C,S)$, is ...
0
votes
0answers
103 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$?
0
votes
0answers
21 views

Is there a term for an endomorphism defined up to conjugation by an automorphism?

Is there a standard term to designate the equivalence class of endomorphisms where two endomorphisms $\phi$ and $\psi$ are considered equivalent if there exists an automorphism $\alpha$ such that ...
0
votes
0answers
11 views

what are the basics of the Divergence operator?

Can you please help me with the basics about the divergence operator $div$. I don't know how to use it ? where to use it ?
0
votes
0answers
68 views

Definition of smooth (variety)

I don't understand the motivation for the definition of smoothness of a variety: A variety $V(f_1,...,f_m)$ in $n$-space is smooth iff $\mbox{rank}$ = $n-\mbox{dim} V$. Could you please give me ...
0
votes
0answers
82 views

Is it false that the complement of an open set is closed?

Let $f:\mathbb{C}\rightarrow \mathbb{C}$ be a continuous function. Let $Z(f)$ be the zero of $f$. Prove that $Z(f)$ is closed. This is one of problems in my mid-term exam. I have used ...
0
votes
0answers
42 views

Difference between a vector space and an algebra

I'm new to the subject of algebras and I would like to get a better understanding of what they are exactly. Am I right to say the follwing: ...
0
votes
0answers
30 views

Uniformly bounded function?

For all I know, the term "uniformly bounded" only makes sense when applied to a family of functions, sequences of functions, sets of functions with one parameter and such. But I've seen in several ...
0
votes
0answers
49 views

If a series converges does its sequence of partial sums converge?

By Definition, a series $\sum_{n=1}^\infty a_n$ converges if it's sequence of partial sums $S_n = \sum_{k=1}^n a_k$ converges. My question is, is the converse true? If $\sum_{n=1}^\infty a_n$ ...