1
vote
0answers
28 views

Types of definitions

My question is about terminology. Consider the following two types of definitions of a circle: A circle is the collection of all points at the same distance from a given point. A circle is the ...
0
votes
1answer
45 views

Why we use ANY in the definition of a maximal element?

I am confused about the following definition: "a maximal element of a subset S of some partially ordered set is an element of S that is not smaller than any other element in S." I do not understand ...
1
vote
1answer
41 views

Definition of null space

I have two definitions of null space. One by Serge Lang Suppose that for every element $u$ of $V$ we have $\langle u,u\rangle=O$. The scalar product is then said to be null, and $V$ is called a ...
2
votes
1answer
38 views

In arbitrary commutative rings, what is the accepted definition of “associates”?

In an integral domain, the following are equivalent: $r \mid s$ and $s \mid r$ $r=us$ for some unit $u$ However in arbitrary commutative rings this is no longer the case; in particular, (2) ...
6
votes
1answer
62 views

Name of a shape that is intersected once by each ray that starts at a given point

Is there a particular name for a shape that is intersected exactly once by each ray that starts at a given point? To illustrate: I'm looking for a name for shapes like the left one in this image: ...
1
vote
1answer
46 views

When is a binary operation bipotent?

I learnt that $\max(-,-)$ is a bipotent binary operation but I'm not able to find a definition of bipotent operation. QUESTION A binary operation $*:M\times M \rightarrow M$ is bipotent if ...
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
1answer
51 views

Has this topology a name?

let $(X,\tau )$ be the topological space where $\tau =\{\emptyset, X, \{x\}, X-\{x\}\}$ , $ x \in X$. Does this topology have a name? Thanks in advance!
1
vote
0answers
32 views

“Identify” terminology

What does it mean to "identify" two objects in algebra, as distinct from having an isomorphism or automorphism between them? I was led to think about this while reading Stewart's Galois Theory, where ...
1
vote
0answers
35 views

Terminology: Name for general, non-differential equations over $\mathbb{R}^n$

Let $x \in \mathbb{R}^n$ be a variable, and $f_1, \ldots , f_n : \mathbb{R}^n \mapsto \mathbb{R}$ be a sequence of functions, each having a closed form expression. Assume that we want to solve the ...
0
votes
4answers
58 views

Why to see that $\overline{B}(x;r)$ is closed if it was just defined?

I'm reading Conway's A Course in Point Set Topology. He defines open and closed balls and then he introduces some examples, one of these examples is this: (c) For any $r>0$, $\overline{B}(x;r)$ ...
0
votes
1answer
18 views

Critical points of a function of absolute value

Say I have the function $f(x) = |x|$ I believe that $x = 0$ is a critical point, although not I'm not positive. As the function is decreasing and increasing each side of $x = 0$ does that alone make ...
1
vote
3answers
49 views

Definition of homogeneous ODE

In my lecture notes, it gives this following definition of a homogeneous ODE: A differential equation is called homogeneous if it can be written in the form $x′=f(\frac{x}{t})$ Then in one of ...
1
vote
0answers
37 views

Binary operation (english) terminology

Foreword: I have read R.H. Bruck's A Survey of binary systems, where the notion of halfoperation is given. A halfoperation $\ast$ differs from a (binary) operation since $a\ast b$ may not be defined ...
0
votes
2answers
59 views

Word for “openness”/“closedness” of an interval

What word properly completes the phrase the radius of convergence does not depend on the $\text{______}$ of the interval to mean that it doesn't matter whether $(a, b)$, $[a, b)$, $(a, b]$, or ...
0
votes
0answers
44 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$ ...
0
votes
0answers
36 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
66 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. ...
2
votes
1answer
47 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 ...
1
vote
1answer
62 views

A set with a supremum and an infinum inside

What is the name of a set $A$ that has its infimum $i \in A$ and a supremum $s \in A$? Examples: $[0,1]$ has a supremum $1$ and an infimum $0$ which are inside $[0,1]$. $\{0,1,2,3\}$ has a supremum ...
0
votes
4answers
93 views

How is the word “contains” defined in set theory? (In relation with neighborhoods in topology).

From Wiki: Some basic sets of central importance are the empty set (the unique set containing no elements) Thus, this make me think that "contained" is equivalent to the $\in$, as in: if $a$ is ...
3
votes
2answers
63 views

Should “together with” be taken as slang for an n-tuple?

When an algebraic structure is defined, it is often defined as a set $S$ "along with"/"together with"/"having" operations $\circ_1, \circ_2, \ldots, \circ_n$, and "denoted" by $(S, \circ_1, \circ_2, ...
1
vote
2answers
40 views

Help with understanding the definition of operation

I'm having trouble understanding this excerpt from Wikipedia, which defines an operation: Mainly, I don't understand what is meant by $V \subset X_1 \times...\times X_k$. Why does an operation ...
2
votes
1answer
22 views

What is the name for the property that a subset of a set follows the same rules as the set?

I have a set that follows a certain property and I want to say that the subsets of this set also follows the property. What is this called? I know that closure under an operation means that performing ...
1
vote
0answers
44 views

Definition of a binary operation is the same as definition of a closed binary operation?

I'm reading Wikipedia about operations and binary operations . Intuitively I always thought that a binary operation is a operation that takes two arguments. But Wikipedia defines a binary operation as ...
2
votes
1answer
36 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 ...
38
votes
19answers
5k views

What is the difference between a point and a vector

I understand that a vector has direction and magnitude whereas a point doesn't. However, the course note that I am using states that a point is the same as a vector. Also, can you do cross product ...
0
votes
0answers
11 views

optimum lengths for a gauge block set

Has there been any mathematical study of the "optimum" lengths for a gauge block set? What do you call such a set of lengths? I'm looking for something analogous the way different ways of ...
1
vote
1answer
52 views

Definition of $p$-torsion module

Let $p$ be a prime. What is the definition of a $p$-torsion module ? I have googled but was not convinced.
0
votes
0answers
46 views

What does the sentence “every element of $S$ has a unique colour” mean?

Does the statement mean that each element of $S$ has exactly one colour, or that no two elements of $S$ share the same colour? Or could either interpretation be valid, depending on the context?
1
vote
2answers
86 views

Notation and terminology for functions, interpreting $f(y)$

It seems to me there are two different interpretations of a symbol $f(y)$. I will explain what I mean: Suppose I have a function $f(x) = x$. (I took the identity map to have a simple example). Also ...
56
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 ...
1
vote
2answers
47 views

Matrix with Functions as Entries

What do we call a matrix with functions as entries? $$\textbf{f(x)}=\begin{bmatrix} f_{11}(x) & f_{12}(x) \\ f_{21}(x) & f_{22}(x) \end{bmatrix} $$
2
votes
1answer
56 views

Adjoint of a Matrix Definition

Tom M. Apostol in his book "calculus Vol. 2" page 122 (see image below) defines adjoint of a matrix as the transpose of the conjugate of the matrix. Is this definition always correct ? Does it agree ...
0
votes
1answer
288 views

Definition: finite type vs finitely generated

The mathematical term "finite type" appears more and more in the modern articles nowadays. But it is still hard to be found in the standard textbooks. I learned the definition of it from Stacks ...
3
votes
2answers
86 views

Terms of graph theory in english

Can anyone please tell me how are these graphs called in english? If we can divide a set of graph vertices in two disjoint sub sets, such as all edges connect vertices only inside these sub sets? ...
0
votes
2answers
111 views

If $a$ is proportional to $b$ does it imply that $b$ is proportional to $a$?

If $a$ is proportional to $b$ does it imply that $b$ is proportional to $a$? This is a simple question which I have found others giving different answers.
0
votes
2answers
302 views

What is an indeterminate in a polynomial ring?

I am currently studying polynomial ring. I have a basic doubt. What is $x$ in a polynomial? A polynomial is an expression $\sum_{k = 0}^n a_k x^k$, where $n,k \in \mathbb{N}$ and $a_k \in R$ where ...
7
votes
7answers
578 views

What is a number?

A dictionary I consulted said a 'number' is a 'quantity', so I looked up what quantity means and the same dictionary said it is an amount or number of some material or thing. Since quantity and ...
1
vote
1answer
89 views

What does it mean when a set is said to be a “finitely generated vector space”?

I've somehow managed to go through 3 years of my Maths degree without truly understanding what the term "finitely generated vector space" means. Generated by what? Generating what? And for what? I ...
1
vote
1answer
40 views

Terminology for a generalization of multilinearity to any algebraic structure.

Let $S$ and $T$ be sets with the same algebraic structure. Let $\Phi:S^n\to T$ such that for any $i\leq n$, and $s_1,\ldots,s_n\in S$, the aplication $s\in S\mapsto ...
4
votes
2answers
430 views

What does “characteristic” mean in mathematics?

In Germany, I have heard "ABC is 'characteristic' for XYZ" sometimes from math students. It was used like "if you know ABC, then you know you're talking about XYZ" or "ABC describes XYZ completely". ...
6
votes
1answer
60 views

Definition of $\Omega$-group and $\Omega$-composition series

What are the definitions of $\Omega$-group and $\Omega$-composition series? No luck searching on the internet..
6
votes
3answers
924 views

difference between theorem, lemma and corollary

Can anybody explain what is the basic difference between theorem, lemma and corollary. We have been using it for a long time but I never paid any attention. I am just curious to know.Thanks a lot.
1
vote
1answer
55 views

Analogous to convolution

A convolution of two functions $f$ and $g$ is defined as $$[f*g] = \int_{-\infty}^{\infty} f(\tau) g(t-\tau) d\tau.$$ I am interested on an analogous transformation of the form $$[f\star g] = ...
1
vote
0answers
51 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
3answers
1k views

What is a fraction in which the greatest common factor of the numerator and the denominator is 1?

What is this fraction: A fraction in which the greatest common factor of the numerator and the denominator is 1?
1
vote
1answer
95 views

What is a finite partial function from $\mathfrak c$ to $D=\{0,1\}$

While I reading a paper, there is a notation is called finite partial function. I searched by google, I cannot find its definition. So I post it here as a question: What is a finite partial ...
0
votes
1answer
32 views

How could I define this $\mathrm{nw}(X)$ by using only one sentence?

A family $\mathcal N$ of subsets of a topological space $X$ is a network for $X$ if for every point $x\in X$ and any neighbourhood $U$ of $x$ there exists an $M \in \mathcal N$ such that $x\in M ...
4
votes
3answers
106 views

What does boson-type realization mean?

I have seen several different contexts the expression "boson-type realization", for instance in the study of algebras growth and realization of affine algebras. To be or not be a boson-type ...