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
1answer
20 views

What is the definition of “disjoint cycles”?

I'm the one who thinks clear definition(clear with meta-language) is very important for doing mathematics. Below, i list my definitions for cycle and orbit. Let $X$ be a nonempty set. Let ...
8
votes
3answers
324 views

A doubt in the rigorous definition of limits.

I studied the definition of limits today, and I think I mostly understood it, but I have a little doubt. In the definition: $f(x)$ is defined on some open interval containing $a$, except at possibly ...
0
votes
2answers
29 views

What is “the orbit of a permutation”? Is the term “orbit” consistent with that for group action?

reference: What is the orbit of a permutation? To be honest, i don't understand the answer in the link. The orbit of a group action is defined as follows: Let $G$ be a group acting on a set $X$. ...
3
votes
1answer
57 views

Integral definition of e

I know that $e$ can be defined via a convergent series: $$ e = \sum_{n=0}^\infty {1\over n!}$$ Or as a limit: $$ e = \lim_{n \to \infty} { \left(1 + {1 \over n}\right)^n }$$ Or as the value which ...
4
votes
3answers
106 views
+300

Definition of General Associativity for binary operations

Let's say we are talking about addition defined in the real numbers. Then, by induction we define $\sum_{i=0}^{0}a_i=a_0$ and $\sum_{i=0}^{n}a_i=\sum_{i=0}^{n-1}a_i+a_n$ for $n> 1.\:$ Now, how do ...
1
vote
3answers
93 views

What is the “Principle of permanence”?

While reading the book "The Number-System of Algebra (2nd edition)." term "Principle of permanence" occurred to me. I remember I had read this in the book "Beginning algebra for college students.". I ...
0
votes
1answer
22 views

Lipschitz continuity of $f(x,y)=4x^2+xy-\frac{1}{y-1}$ on an open set $U \subset \mathbb{R} \times (\mathbb{R} \setminus \lbrace 1 \rbrace)$

Problem: Find an open set $U \subset \mathbb{R} \times (\mathbb{R} \setminus \lbrace 1 \rbrace )$ which includes the points $(0, 1/2$) and $(0,3/2)$ such that the function ...
2
votes
0answers
14 views

Definition of an integrand

General Question: Say we have integral $$ \int f(z)\ dz $$ Is the integrand in this context (i) $f(z)$ or (ii) $f(z)\ dz$? In any case, is $f(z)\ dz$ a formally defined mathematical object in its ...
1
vote
4answers
219 views

What is the definition of a positive integer?

I am reading the book "The Number-System of Algebra (2nd edition)". At the starting of page-4 the author writes: A positive integer is a symbol for the number of things in a group of distinct ...
4
votes
1answer
32 views

Definition of tangent vector

I have a small bit of confusion with the definition my text is providing me with for a tangent vector. Given a manifold $M$, it is first stated that to define a tangent vector, a curve $c:(a,b) ...
3
votes
1answer
112 views

Conglomerate in mathematical literature.

I rememeber I downloaded a pdf in category theory and after talking about classes it defined something called conglomerates, but I can't remember what that is and wikipedia has no article on it. ...
1
vote
1answer
74 views

What is an operator norm?

I came across this symbol where they are mentioning operator norms. I am not sure how it is different from the Frobenius norm. It was something like this: $|||\Omega-\hat{\Omega} |||_2$ where ...
0
votes
0answers
15 views

The semigroup of powers of the differential operator in fractional calculus.

In my ignorance I'm slightly wary of a follow-up question here as it might belong in MO. If so, I'm sorry. Motivated simply by curiosity and this question, I'd like to investigate the semigroup $S$ ...
1
vote
6answers
111 views

Orthogonal Projections: Definition + Characterization

Hey there I'm hanging at so many little steps when proving: $P\text{ orthogonal projection}\iff X\text{ orthogonal decomposable}$ My problem is there is simply missing a precise definition of what an ...
0
votes
0answers
24 views

What is the definition of a norm in the context of rings?

On several places in ring-theory I encountered so-called 'norms'. For instance on integral domain $\mathbb{Z}\left[i\right]$ with prescription $a+bi\mapsto a^{2}+b^{2}$ where it also serves as a ...
9
votes
6answers
528 views

What does “homomorphism” require that “morphism” doesn't?

I'm starting to learn category theory, but there's one thing I don't get: all morphisms seem to be homomorphisms; the definition seems to be the same. What's the difference between these two? Can you ...
0
votes
0answers
30 views

The term $rank$ in methematics

Reading wikipedia's disambiguation page about the "rank" word I see many concept of rank of many different matematical object. I only know about the rank of a graded poset and the rank of a set that ...
0
votes
1answer
35 views

What is the meaning of an algebra?

An algebra $A(*,\hat{} ,\sim)$ is said to be Boolean algebra if it satisfies some conditions...In this statement what is the meaning of starting word an algebra?
7
votes
2answers
191 views

The phrases “has … in ” vs. “contains … of” in Baby Rudin

Consider the following two statements. (Assume $E \subseteq K$.) $E$ has a limit point in $K$. vs. $E$ contains a limit point of $K$. What do they each mean and how are they different?
2
votes
2answers
53 views

Tensor product is o?

$K$ generated by $(ar,rb)$ for every $a\in A$, $b\in B$, $r\in R$. $F$ generated by $r(a,b)$ for every $a\in A$, $b\in B$, $r\in R$. $(a,rb)=(ar,b)=r(a,b)$,then $K=F$, $F/K=0$ Apparently I ...
1
vote
2answers
69 views

Precise definition of a “game of incomplete information” (Game Theory)

Question: In game theory, what is the precise definition of a "game of incomplete information"? What I've found so far: In the standard first year graduate economics textbook on microeconomics ...
-1
votes
0answers
32 views

Fixed point - definitions (asymptotically stable, repelling)

Given the following fixed point $(\widehat{x},\widehat{y} )$. If this point is not asymptotically stable, can I then conclude it is a repellor? Is a repellor/repeller defined to be a not ...
1
vote
2answers
29 views

Rank of a Matrix under certain conditions

I am a little confused about the rank of a matrix. When does the rank of a matrix equals to zero? Is rank of a matrix equal to zero when it is a zero matrix or the matrix has no elements in it? Thank ...
0
votes
1answer
8 views

Writing order of geospacial coordinates

Is there a defined order in which to write geospacial coordinates? When looking at GPX files generated by my GPS, latitude is named first but when looking at a KML file generated by google earth ...
0
votes
1answer
22 views

Definition of Derivative for $sgn(x)$

When using the definition of the second derivative for $sgn(x)$, I'm a little confused on evaluating something like $sgn(x+h)$. Since $h\rightarrow 0$ does that mean that I should treating $sgn(x+h)$ ...
0
votes
2answers
49 views

What is the definition of 'line' in $\hat{\mathbb{C}}$?

What is the definition of straight line in $\hat{\mathbb{C}}$? Is it defined as $\{x\in\mathbb{C}: \frac{Re(x-a)}{Re(b)} = \frac{Im(x-a)}{Im(b)}\}\cup \{\infty\}$? ($a,b$ are complex numbers and ...
54
votes
14answers
3k views

Are “if” and “iff” interchangeable in definitions?

In some books the word "if" is used in definitions and it is not clear if they actually mean "iff" (i.e "if and only if"). I'd like to know if in mathematical literature in general "if" in definitions ...
2
votes
2answers
50 views

Odd and even functions.

I have a book which says: If a function $f$ satisfies $f(-x)=f(x)$ for all $x$ in its domain, then $f$ is called an even function. However, if $f(-x)=-f(x)$ for every $x$ in the domain of $f$, ...
1
vote
3answers
74 views

Orthonormal Bases

I am struggling to get my head around orthonormal bases, this is the defintion in my course notes: If anyone could clarify/explain the concept to me, it would be much appreciated. I am a university ...
0
votes
1answer
479 views

normalized subgroup by another subgroup

Let $A$ and $B$ be two subgroups of the same group $G$. What does it mean for the subgroup $A$ to be normalized by the subgroup $B$?
1
vote
0answers
25 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: ...
0
votes
1answer
22 views

Derivatives from the left and right

I need to give a definition of the derivative from right and from left. (I know it doesn't make a whole lot of sense, but it is supposed to be similar to the same thing as the limits from the right ...
10
votes
8answers
1k views

Why do we accept Kuratowski's definition of ordered pairs?

I've been struggling understanding Kuratowski's definition of ordered pairs. I understand what it means but I don't see why I should accept it. I've seen this question and this one, most importantly ...
2
votes
1answer
44 views

The differential is NOT the Jacobi Matrix?

In the book Analysis II by C.T. Michaels the differential is introduced as the Jacobi-Matrix. In class we had the following definition: Definition: Let $U \subset \mathbb{R}^m$ be open, $f: U \to ...
0
votes
2answers
24 views

Homomorphisms, Linear Transformations, and Distributivity

What are the differences between homomorphisms, linear transformations, and distributive operations? To me, they all seem essentially the same, they just are different names for the same phenomenon ...
0
votes
1answer
22 views

A question about the span of functions.

I am having trouble understanding the span of functions, my problem is: What is $\operatorname{span}\{a\sin(x),b\}$, and what is its dimension? I understand this in terms of vectors, but not in ...
1
vote
1answer
20 views

Can't remember definition of $\lvert G \rvert_{p'}$

For $G$ a finite group, I know that $\lvert G\rvert$ denotes the order of the group. My question is: What is $\lvert G\rvert_{p'}$? Also is this the same as $\lvert G\rvert_p$ (without the prime on ...
0
votes
1answer
20 views

Approximation Theory: Iterative Methods

Can someone explain to me the general idea of what's going on? I don't get how the functions are being formed, nor do I know why we redefine $h(x)$ to ensure convergence after we defined $g$ ...
5
votes
2answers
84 views

If a finite poset has greatest and least elements, is it a lattice?

Let $P$ be a finite partially ordered set with elements $0$ and $1$ such that $0 \le x \le 1$ for any $x \in P$. Does it follow that $P$ is a lattice? If not, what is a counterexample? I believe this ...
3
votes
1answer
22 views

Equivalent definitions for strictly positive elements

We have two usual definitions for strictly positive elements in C*-algebras: Let $A$ be a C*-algebra Definition (a) [MURPHY, C$^*$-algebras and Operator Theory] An element $a\in A_+$ is said to be ...
4
votes
3answers
389 views

Definition of set.

A set is defined as a collection of distinct objects. Why have we defined a set to contain only distinct objects? Why is a collection of objects which may have identical objects not called a set? ...
0
votes
2answers
44 views

What is the definition for holomorphic functions on the Riemann sphere?

I'm trying to study complex analysis in general setting, but i have troubles with defining things in this general setting. I have skimmed definitions in Ahlfors, Conway and wikipedia, but these all ...
1
vote
1answer
63 views

What is this metric called?

Ahlfors -complex analysis p.20 Consider a stereographic projection between the 2-sphere and $\overline{\mathbb{C}}$ (i.e. one-point compactification of $\mathbb{C}$) Let $z,w$ be complex numbers. ...
1
vote
1answer
24 views

A question on Holder spaces

A function $f$ is said to belong to the Holder space if Holder condition is satisfied, i.e. $\exists \beta,L\geq0$ such that $$|f(x)-f(x')|\leq L|x-x'|^\beta$$ for all $x,x'$ in the domain of $f$. ...
2
votes
1answer
23 views

Why do we define product of morphisms in this way

I'm always forget the definition of product of morphisms in a category, maybe the main reason is because I don't know the motivation beyond the definition: I need help to see this abstract ...
2
votes
1answer
126 views

Help with definition: partition mod ultrafilter.

I do not see how the partition is well-defined. By definition $A\neq\varnothing\mbox{ mod }D\iff A\notin I_{D}$. Since D is a maximal filter $A\notin I_{D}\iff A\in D$ . So ...
2
votes
3answers
28 views

Can someone explain me how to read members of a set to prove uncountability?

I have trouble in understanding what the elements in the following set are: $$ V = \{f:\mathbb{N}\to \mathbb{N} \mid \text{there is $N_f \in \mathbb{N}$ so that $f(x) \le N_f$ for all ...
0
votes
0answers
43 views

what is the argument of 0?

When $z\neq 0$, $\arg z$ is defined to be the set $\{\theta \in \mathbb{R} : z=|z|e^{i\theta}\}$. What if $z=0$? Usually does one leave the argument of $0$ undefined? Or is $\arg 0 = \mathbb{R}$?
1
vote
2answers
760 views

What is a direct correlation?

I have two contrary definitions of for the direct correlation between two variables $X$ and $Y$ Their correlation coefficient is close to $1$. There is a direct causal relationship between the ...
2
votes
1answer
30 views

Embedding and monomorphism

What is the difference between an embedding and a monomorphism? As far as I can see, most introductory abstract algebra texts treat them as if they are the same, i.e. an injective function from one ...