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

learn more… | top users | synonyms

3
votes
0answers
95 views

Connected sum of surfaces with boundary

The connected sum of closed surfaces (2-manifolds) is defined by removing a disk from each and gluing the exposed edges together. When defining the connected sum of surfaces with boundary, is the ...
2
votes
1answer
507 views

Characterization of lim sup, lim inf

If $(a_n)$ is a real sequence, in lecture we had: $$\begin{align}\limsup_{n\to\infty} a_n=a \iff &(i)\forall \epsilon >0 \,\exists n_0\in \mathbb{N} :a_n<a+\epsilon \forall n\ge n_0\\\text{ ...
12
votes
1answer
290 views

What is the intuition behind the name “Flat modules”?

I am studying Atiyah and MacDonald's book "Introduction to Commutative Algebra" and I have just read the definition of a flat module. It seems to me that if they have called that kind of modules "...
8
votes
3answers
1k views

Codomain of a function

At high school we were told that a function has a domain and a range, the function maps from the domain to the range. Such that the domain contains all and only the possible inputs and the range ...
1
vote
1answer
712 views

Precise definition of oscillation behavior of functions like $\sin(\frac1{x})$

I tried today precisely defining the oscillation behavior present in functions like $\sin(\frac1{x})$ i.e: To do this, I started with the domain of function as in limits, and let $f(x)-L$ have ...
3
votes
2answers
323 views

Application of Picard-Lindelöf to determine uniqueness of a solution to an IVP

I am still struggling quite a lot with the Picard-Lindelöf-Theorem (also known as the Cauchy-Lipschitz-Theorem). Problem: Consider the following IVP with $\alpha \neq 1$ $$\begin{cases} y'&= ...
1
vote
1answer
34 views

What is the Support of a permuation

Is this definition of the support of a permutation correct: let $\pi\in S_{\Omega}$ for $\Omega$ a finite set, and $S_\Omega$ the set of all permutations (bijections) on $\Omega$. Ie $\pi:\Omega\to\...
0
votes
1answer
71 views

How to define a b-open set relative to a larger set?

In the paper of D. Andrijevic entitled "On b-open Sets", it is defined that A subset $S$ of a topological space $(X,\tau)$ is $b$-open if $$ S\subseteq\bar{\operatorname{int} S}\cup \...
2
votes
1answer
86 views

Is the function $f(x)=x$ on $\{\pm\frac1n:n\in\Bbb N\}$ differentiable at $0$?

This is really a question of definitions. If a function $f$ is not defined on an open set containing $x$, how do we define the derivative of $f$? Is it sufficient to be locally approximable by linear ...
3
votes
3answers
1k views

How to define the magnitude of a rotation in $\mathbb{R}^n$?

Is there some well established way on how to quantify rotations in $\mathbb{R}^n$? To say which rotation is greater and which is smaller? In $\mathbb{R}^2$ the rotation is characterized by a single ...
0
votes
1answer
172 views

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

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

Why is the length of one of the segments negative in the Menelaus' theorem? Aren't all distances by definition positive?

Why is the length of one of the segments negative in the Menelaus' theorem? Aren't all distances by definition positive? I think we all know the Menelaus' theorem, which claims that the following ...
1
vote
0answers
47 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 ...
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 ...
0
votes
1answer
115 views

Simple closed curve definition of genus

The genus of a connected surface can be defined as the maximum number of disjoint simple closed curves that can be removed from it without disconnecting it. Why must the simple closed curves be ...
2
votes
0answers
65 views

Question about definition of some classes of bimodules.

Suppose that we have a ring $R$ and a $R$-$R$ bimodule $M$ such that: For every $r\in R$ and $m\in M$ there exists $r'\in R$ such that $m\cdot r=r'\bullet m.$ Examples of this bimodules can be seen ...
-1
votes
2answers
57 views

A question in Isomorphism

Let G be a cyclic group. Soppose G and G' are isomorphic groups. Show that G' is also cyclic. Can Someone Solve this pleaase? I have an exam 2 hours later!
2
votes
0answers
124 views

Confused about the definitions of atom

I went though half a dozen books on measure theory, and it occurs to me that the definition of atom is not particularly unified. Version $1$: A set $E$ in a $\sigma$-algebra $\Sigma$ is called ...
3
votes
2answers
186 views

On the canonical isomorphism between $V$ and $V^{**}$

I am trying to understand more about the Bidualspace (or double dual space). The whole idea is that $V$ and $V^{**}$ are canonically isomorphic to one another, which means that they are isomorphic ...
0
votes
1answer
51 views

Beginning Proof on functions and Sum of functions

I've been having a hard time with this proof because I do not know where to go from where I am. The proof we were assigned to in class is as follows: Let $f : \mathbb Z \rightarrow \mathbb Z$ be a ...
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 ...
1
vote
3answers
405 views

Notation for Partial Functions

Suppose we have sets $f$, $A$ and $B$ such that $f\subset A\times B$ and $\forall x\in A\space \forall y,z\in B: [(x,y)\in f \land (x,z)\in f \implies y=z]$ i.e. $f$ is a partial function mapping $A$...
0
votes
1answer
299 views

Different ways to formally define trigonometric functions

When I first learnt trigonometric functions I was in highschool and obviously the explanation they gave me was mostly intuitive. Now that I have taken my first curse of calculus I learnt a formal ...
1
vote
1answer
253 views

Nonorientable surfaces: genus or demigenus?

The genus $g$ of a closed, orientable surface is the maximum number of disjoint simple closed curves that can be drawn on the surface without disconnecting it. In terms of the Euler characteristic, $\...
1
vote
1answer
51 views

What is the definition of linearly independent subset of an abelian group?

What is the definition of linearly independent subset of an abelian group? I know the concept of this, but i don't know how to define this term precisely. Below is what i tried to formulate: ...
0
votes
1answer
48 views

Linear maps and matrix coefficients

I am currently working through this page in my script: Can somebody explain what this means and how it works in practice? Perhaps if I saw an example I could follow it. Thanks for your help!
0
votes
1answer
104 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 $\...
0
votes
2answers
119 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$. ...
4
votes
3answers
303 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 ...
11
votes
3answers
501 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 $...
7
votes
3answers
486 views

Alternative definition of hyperbolic cosine without relying on exponential function

Ordinary trigonometric functions are defined independently of exponential function, and then shown to be related to it by Euler's formula. Can one define hyperbolic cosine so that the formula $$\...
0
votes
1answer
246 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 $f(x,y)=4x^2+xy-\frac{1}{y-1}...
2
votes
1answer
36 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 ...
4
votes
1answer
65 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) \...
2
votes
2answers
96 views

Notation - Transpose of Block Matrices [Lay P121 Q2.4.12]

Definition of Transpose is $(A^T)_{ij} = A_{ji}$ $1.$ Why $\begin{bmatrix} M & N \end{bmatrix}^T = \begin{bmatrix} M^T \\ N^T \end{bmatrix}$, and NOT $\begin{bmatrix} M \\ N\end{bmatrix}$? ...
1
vote
0answers
56 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 ...
0
votes
0answers
59 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 ...
1
vote
1answer
91 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?
5
votes
4answers
667 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 ...
5
votes
2answers
384 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?
0
votes
1answer
79 views

What is the formal meaning of “determine” in Baby Rudin 2.40?

In Theorem 2.40, Rudin talks about a $k$-cell $I$ formed by the intervals $[a_1, b_1], \ldots, [a_k, b_k]$. We split each interval at its midpoint $c_j = \frac{a_j + b_j}{2}$ and end up with $2k$ ...
2
votes
3answers
443 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 (MWG)...
2
votes
2answers
73 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
1answer
1k 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
6answers
391 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
2answers
55 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 $b\...
2
votes
2answers
123 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
125 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 ...
1
vote
2answers
129 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 ...
1
vote
0answers
41 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: $f:...