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

0
votes
0answers
13 views

Direct symmetries of $X\subseteq \mathbb R^n$

I don't quite understand the definition of direct symmetries for a subset $X$ of $\mathbb R^n$. In this book(page 45) the definition is given as follows: $$ Symm^+ (X) := \left \{ ...
0
votes
0answers
28 views

Definition of $\sum_{a \in A} I_a$

If $(I_a)_{a \in A}$ a family of ideal of $K[x_1,x_2, \dots, x_n]$, I have the following definition in my notes: $$\sum_{a \in A} I_a=\{ a_{i1}+a_{i2}+ \dots+ a_{ij} | a_{ij} \in I_{a_j} \}$$ Is ...
4
votes
1answer
48 views

Definiton of No Tear and No Paste

Topologists often mention an example beginning by "If there is no tear and no paste, then ...". As a student, I am confused with this "term", and I want to know the exact mean of it. First of all, ...
3
votes
2answers
31 views

what is the basic difference between a mapping and a function?

what is the basic difference between a mapping and a function? many say they are same but the opposite views are also seen. is mapping a restricted version of a function?
0
votes
1answer
33 views

How is the area of a set of points in $\Bbb R^2$ defined?

Let $S$ be a subset of $\Bbb R^2$. If no vertical slice of $S$ contains gaps, we could define the area of $S$ through the following. $$A(S) = \int_{-\infty}^\infty\left(\sup\{y\in\Bbb R\mid (x,y)\in ...
2
votes
0answers
14 views

Does this matrix have a name: $x=(x_0, \ldots, x_n)$, $S(x)_{i,j} = x_{i+j \mod(n)}$. Can you help me generalise the idea?

Apologies if this question is vague/unclear (especially the title). Given a vector $x=(x_0, \ldots, x_n)$ define the matrix $S(x)_{i,j} = x_{i+j \mod(n)}$. $$ S(x) = \left( \begin{array}{rrrr} ...
2
votes
1answer
15 views

What is the definition of “sheet”?

Here is a definition for evenly covered set. Definition Let $C,X$ be topological spaces and $p:C\rightarrow X$ is a continuous function. Let $U$ be an open subset of $X$. Then $U$ ...
1
vote
0answers
24 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$ ...
5
votes
1answer
60 views

Why $R^{op}$ used in the definition of “category of $R$-modules”?

Earlier today, I was thinking: "Oh, an $R$-module is just an additive functor $R \rightarrow \mathbf{Ab}.$" Anyway, I had a bit of a read over at nLab, and it says: For any small ...
0
votes
0answers
22 views

different representations of strong induction

I've seen 2 forms of strong induction; just wondering how one follows from the other. $1) f(n_0)\wedge f(n_1)\wedge\cdots \wedge f(n_{k-1})\wedge f(n_k)\wedge \forall_n[f(n-k)\wedge ...
2
votes
0answers
55 views
+250

Functorial cofibrant replacement does not have to be fibration?

I'm new to model category theory, and I find myself confused about the different meanings of cofibrant replacement in literature. The usual definition is that we assign to every object $X$ in our ...
1
vote
1answer
34 views

Caratheodory: Alternative Definition

Idea My idea is to facilitate Caratheodory's construction by composing it with Hahn-Kolmogorov. Problem Given a premeasure on a ring $\mu:\mathcal{R}\to\overline{\mathbb{R}}_+$. Do the ...
1
vote
2answers
55 views

What does it mean for a function to be holomorphic?

I am trying to wrap my head around the definition of holomorphic. Wikipedia tells me that: A holomorphic function is a complex-valued function of one or more complex variables that is complex ...
2
votes
1answer
29 views

Why Not Define Connectedness to Mean Path Connected?

All spaces I have seen which are connected are also path connected (apart from examples to show that the two are not equivalent). Is there a reason for using the weaker definition of connectedness ...
2
votes
1answer
42 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
3answers
43 views

Is modular arithmetic defined for all rational numbers (with denominators coprime to modulus)?

In the expression $\frac{1}{b}\pmod m$, where $(b,m)=1$, is $\frac{1}{b}$: a) a rational number (and so rational numbers are defined in modulo arithmetic using multiplicative inverses)? b) just ...
2
votes
0answers
34 views

What is the formal definition of a structure?

I can't seem to find one anywhere, and I've looked in several books and pages. I don't even know how to tag this.
0
votes
1answer
18 views

Cauchy - Sequences. Different definitons

Is $$\forall \epsilon > 0 \exists N \in \mathbb{N}: \forall j \ge N |a_j - a_N| < \epsilon $$ equivalent to $$\forall \epsilon > 0 \exists N \in \mathbb{N}: \forall m,n \ge N |a_m - a_n| ...
0
votes
0answers
10 views

anisotropic vector valued function definition

Does anyone have insight into the significance of the following statement which defines an anistropic function $$a:\Omega \times \mathbb{R} \times \mathbb{R}^{N} \rightarrow \mathbb{R}^{N}$$ The ...
0
votes
0answers
12 views

Help with understanding why a particular set was chosen in theorem and corollary involving the limit of a function

Here's a theorem from Ross' Elementary Analysis, he gives the limit definition of a function in terms of $\delta$-$\epsilon$ And the corollary that follows: Why is it that in the corollary, the ...
1
vote
2answers
29 views

What is effectively continuous?

In Soare's book Recursively Enumerable Sets and Degrees I saw a sentence: $\Phi_e$ is an effectively continuous functional from the Cantor space $2^\omega$ to itself. What does it mean for a ...
1
vote
0answers
17 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
16 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 , . . . ...
2
votes
5answers
330 views

Seeking elegant proof why 0 divided by 0 does not equal 1

Several years ago I was bored and so for amusement I wrote out a proof that $\dfrac00$ does not equal $1$. I began by assuming that $\dfrac00$ does equal $1$ and then was eventually able to deduce ...
2
votes
0answers
31 views

Synonyms for “Theorem”

Some mathematical results, despite being formally proven, are not actually called "theorem". Examples include: Bertrand's postulate Pigeonhole principle Law of large numbers Do these names imply ...
1
vote
0answers
17 views

Why is an open interval needed in this definition? (definition of a limit of a function)

Here's a part of the definition Ross' Elementary Analysis states for limits of a function: In both parts of the definition, why are open intervals needed? Would it fail if it were a closed interval ...
1
vote
1answer
19 views

On the definition of transition maps

When defining a manifold the domain and codomain of the transition maps is usually denote like this: $$\varphi_\eta \circ \varphi_\lambda^{-1}: \varphi_\lambda(U_\lambda \cap U_\eta) \to ...
3
votes
0answers
21 views

Anti-Diagonal Matrix

Hi just a quick question. Can a anti-diagonal have zero in its diagonal? I have this definition in my paper. "An anti-diagonal matrix is a square matrix where all the values are zeroes except those ...
0
votes
1answer
66 views

What is Bourbaki's definition of subfield? or categorical definition of subfield?

Let $F$ be a field. Let $K$ be a subset of $F$ which is closed under two binary operations $+,\cdot$ Assume $(K,+,\cdot)$ is a field. Is $K$ called a subfield of $F$ in Bourbaki's definition? Or, ...
1
vote
1answer
28 views

What is a sparse subset?

In a work about fully homomorphic encryption I found usage of the expression: "sparse subset", as in: Our hint will consist of a set of vectors that has a (secret) sparse subset of vectors whose ...
2
votes
1answer
37 views

Examples of Free Lie Algebra

In wikipedia, free Lie algebras are defined using the universal property. Can anyone give some concrete examples of free Lie algebras? "In mathematics, a free Lie algebra, over a given field $K$, is ...
6
votes
8answers
967 views

Why is the absolute sign needed in the definition of a bounded function

A function $f$ is bounded if there exists a real number $M$ such that $|f(x)| \le M$ for all $x \in \operatorname{dom}(f)$. Why is the absolute sign needed?
1
vote
0answers
40 views

Analytic Functions: Notation? [duplicate]

Analytic functions are usually denoted by $\mathcal{C}^\omega$. What does the $\omega$ stand for? (The infinity symbols of a colleague of mine really look like omegas...)
0
votes
0answers
33 views

Definition of orientation preserving linear map: is this welldefined?

I am reading a definition in this document here about what it means for a linear map to be orientation preserving: It seems to me though that this is not well-defined: take the unit $x$-vector ...
2
votes
1answer
54 views

On the definitions of $n$-manifold etc.

I'm doing 3rd year undergraduate geometry (an introductory subject), and we've been given formal definitions of terms like "$n$-manifold" and "smooth $n$-manifold." However, I tend to think about ...
0
votes
3answers
53 views

When finding the derivative using its definition, why do we plug $0$ for $h$?

If $\lim h\to 0$, when finding the derivative of the function, why do you plug in the limit that is being approached. Like why would you plug in $0$ in the function $4x+2h$ (which is the derivative of ...
0
votes
2answers
41 views

What is the polarization identity?

Hi I am studying stochastic calculus and my professor often mentions "Polarization Identity" but I do not know how it is defined. I tried googling it but could not find the right definition and ...
2
votes
0answers
19 views

Two definitions of “affine stratification”

I see two different definitions of "affine stratification" in the literature: A stratification where each stratum is isomorphic to $\mathbb{A}^n$ for some $n$. A stratification where each stratum is ...
2
votes
2answers
42 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 ...
0
votes
0answers
39 views

What is the definition of boundary-parallel Dehn twist?

I have not been able to find a working definition for the term: "boundary-parallel Dehn twist ". I know what a boundary-parallel surface is, and what a parallel surface is, but I have not been able to ...
0
votes
2answers
36 views

Concept: The graph component

I have the following definition for a Component of a graph: A subgraph $H$ of a graph $G$ is a component of $G$ if $H$ is a maximal connected subgraph of $G$, ...
1
vote
1answer
35 views

Characteristics of $f(x,y)=\sqrt{xy}$

$f(x,y)=\sqrt{xy}$ (i) Determine the maximal domain of $f$, thus that the range is real. (ii) Is $f$ continuous its domain? (iii) Determine and describe all Level sets of $f$ To (i) $D:=\{(x,y)\in ...
1
vote
1answer
28 views

Examples of the Geometric Realization of a Semi-Simplicial Complex

I am reading The Geometric Realization of a Semi-Simplicial Complex by J. Milnor and here are the definitions: I find it difficult to visualize without specific examples. Can anyone help to provide ...
4
votes
3answers
120 views

What is in clear mathematical terms the definition for a sequence of integers, to be called *random*?

Sequences of integers might be ordered, totally ordered,... For all such attributes we find definitions in clear mathematical terms. (1) But what is in clear mathematical terms the established and ...
8
votes
2answers
602 views

Is the Euler characteristc defined wrong? If not, why not?

Ever since learning that $$\chi(S_0\# S_1) = \chi(S_0)+\chi(S_1)-2$$ (where $\chi$ denote the Euler characteristic), I've wondered whether $\chi$ isn't "defined wrong." If we let $\chi' = 2-\chi,$ ...
3
votes
1answer
51 views

On the Definition of multiplication in an abelian group

In class we had the following Definition: Let $(A,+)$ be an abelian Group with $a \in G$. We define: $$na:= \begin{cases}na, \ \forall n \in \mathbb{N} \\ |n|(-a), \ \forall n \in ...
1
vote
0answers
35 views

What does it mean if $P^n$ is irreducible for every $n\in\mathbb{N}$?

If $P$ is the transition matrix belonging to a markov chain, then what does it mean that $P^n$ is irreducible for every $n\in\mathbb{N}$? For $n=1$ it means that all states communicate with each ...
3
votes
0answers
42 views

Conceptual question on showing properties of the absolute value function on $\mathbb{Q}$

I have a rather conceptual question about showing certain small lemmas regarding the absolute value function on $\mathbb{Q}$. I want to only give one example: Let $a,b \in \mathbb{Q}$ and $|.|$ ...
1
vote
3answers
45 views

Contrapositive of a Definition

I have a problem (in real analysis class) that states "What is the contrapositive of the definition of "closed"?" The definition in our class of closed is: "a set E is closed iff the set contains all ...
47
votes
3answers
4k views

Do we have negative prime numbers?

Do we have negative prime numbers? $..., -7, -5, -3, -2, ...$