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

learn more… | top users | synonyms

0
votes
1answer
27 views

What is the definition of $I=(f(X,Y),g(X,Y))$?

What is the definition of this ideal in $\mathbb C[X,Y]\ I=(f(X,Y),g(X,Y))$ for some polynomials $f,g \in \mathbb C[X,Y]$
0
votes
1answer
45 views

definition of product of modules

I have been given this definition of a product between modules: If $I$ is an indexing set with $M_i$ as an $R$-Module then the product $\prod \limits_{i \in I} M_i$ is defined as the set consisting ...
0
votes
0answers
51 views

About a variation of the primitive root idea.

Let $n $ be called a half primitive root mod ($m$) if $n^{\phi(m)/2} = 1$ mod($m$) and for any $t $ with $1 < t < \phi(m)/2$, $m$ does not divide $(n^t - 1)$. So the order of $n$ mod($m$) is ...
1
vote
1answer
37 views

Why are the summands $-1,0,1$?

I have some problem to understand the following: Let $X=\left\{0,1,2\right\}$ and consider $X^{\mathbb{Z}^d}, d\geq 2$ as being the set of all function from $Z^d$ to $X$. So for $\eta\in ...
12
votes
4answers
303 views

Is it possible to define $\lceil x\rceil$ in terms of $\lfloor\ldots\rfloor$?

I have tried to define the ceiling function of $x$ in terms of its floor function; I thought this might be easy, but it isn't. I can easily do this with a piecewise equation, but I need to do without ...
1
vote
0answers
20 views

What is the $\bar{d}$-metric for translation-invariant measures?

I've often heard of the so called $\bar{d}$-metric for translation-invariant measures. I found something like $$ \bar{d}(m_1,m_2)=\inf\text{Prob}^m\left\{\eta(0)\neq\delta(0)\right\}, $$ where $m_1$ ...
2
votes
0answers
36 views

What is the coupling of two measures?

I know what means coupling for random variables, as explained here. But what is a coupling of measures?
3
votes
0answers
65 views

Functors that preserve the subset relation on constructs

Is there a name for functors between concrete categories over Set that preserve '$\subset$'? Example, for a functor $F:\mathbf {Top}\to \mathbf {Grp}$, if $Y$ is a subspace of $X$ then $F(Y)$ ...
2
votes
2answers
83 views

What is the definition of closed subspace?

I am trying to understand what is intended with closed subspace, I took the following guess: A closed subspace $M$ of a Hilbert space $H$ is a subspace of $H$ s.t. any sequence $\{x_n\}$ of elements ...
0
votes
2answers
75 views

Do all the properties of exponents work for every real exponent? [closed]

I am writing an essay, but i doubt at typing that the properties of exponents works for every Real, I know it works for every Rational number. $$\forall a,n,m\in\mathbb R$$ or $$\forall a\in\mathbb ...
2
votes
1answer
67 views

Is it possible to have an $a \times b \times c$ matrix?

The book Artificial Intelligence: A Modern Approach states that a certain variable is a $2 \times 2 \times 2$ matrix", but I thought that matrices could only be rectangular (i.e. $a \times b$). Is it ...
0
votes
0answers
109 views

What is an undefinable ordinal? How large are the least undefinable ordinal and supremum of all undefinable ordinals?

What does it mean to say that a particular ordinal/cardinal number is "definable"? Where and how do we define this "definability"? If there are undefinable ordinals/cardinals, how large are the least ...
4
votes
3answers
247 views

what is meant by $ f ∈ C^{2}[a, b] ?$

What is the meaning of $ f ∈ C^{2}[a, b] ?$ I think it says that $f$ is twice differential on $[a,b]$, isn't it?
1
vote
1answer
88 views

o-minimal structures and definable functions

Consider the following definition of an o-minimal structure: An o-minimal structure $O=\{O_n\}$ is a sequence of Boolean algebras $O_n$ of subsets of $\mathbb{R}$ which satisfies the following ...
1
vote
1answer
88 views

What's the exact definition of symmetry?

My question is basically the same as this, but I haven't found the answer given satisfying. The definition of symmetry I've come up with is this: Let $X \subseteq R^2$. A symmetry of $X$ is an ...
1
vote
0answers
76 views

What is a coupling argument?

In an article I've read in a proof that distinguishes two cases something like: "the second case can be shown by an easy coupling argument using the first case." What is a coupling argument? Edit ...
0
votes
1answer
74 views

Is “small disk” well-defined?

I saw the notion "small disk" very frequently used in literature. For example, in Brunnian braids on surfaces by V. G. Bardakov, R. Mikhailov, V. V. Vershinin, J. Wu, one line reads: Let $P_n(M)$ ...
7
votes
2answers
369 views

Defining sine and cosine

We know the following are true about sine and cosine (and that they can be proven geometrically): $\sin(a+b)=\sin(a)\cos(b)+\sin(b)\cos(a)$ $\cos(a+b)=\cos(a)\cos(b)-\sin(a)\sin(b)$ ...
7
votes
6answers
594 views

Removable discontinuity question

A quick and easy question on terminology: If we have a function $$f(x) = \frac{x(x-2)}{(x-2)}$$ then clearly the function is not defined at $x = 2$. If we cancel out "$(x-2)$" then the function is ...
1
vote
1answer
64 views

Definition of rank of an element in tensor algebra

Let $V$ be a vector space over a field $K$ and let $T(V)$ be its tensor algebra; that is, $$T(V)=\displaystyle\bigoplus_{k=0}^{\infty}V^{\otimes k}=K\oplus V\oplus V\oplus(V\otimes V)\oplus(V\otimes ...
1
vote
3answers
227 views

Is natural numbers set $\mathbb N$ infinite set?

A set with uncountable number of elements is called an infinite set. Is that the set of all natural numbers, $\Bbb N=\text{{$1,2,3,\ldots$}}$ infinite set? As far i know $\Bbb N$ is "countably" ...
0
votes
1answer
138 views

Definition of $\sigma$-algebra. Axioms.

""Def. A family $\mathcal F$ of subsets of $\Omega$ is said to be a $\sigma$-algebra on $\Omega$ if: (A.1) $\Omega\in\mathcal F$ (A.2) $\ A\in\mathcal F\implies\ A^c\in\mathcal F$ (A.3) $\ ...
5
votes
2answers
117 views

Degree of a map $S^0 \to S^0$

By definition the degree of a map $f: S^n \to S^n$ is $\alpha \in \mathbb Z$ such that $f_\ast(z) = \alpha z$ for $f_{\ast}:H_n(S^n) \to H_n(S^n)$. What is the definition of the degree of $f: S^0 \to ...
4
votes
2answers
259 views

Definition of totality in relations

I see two apparently different definitions for totality which don't seem to be equivalent. Definition 1. A relation $R \subset X \times Y$ is total if it associates to every $x \in X$ at least one $y ...
5
votes
2answers
112 views

Singular Points on Algebraic Curves

What does it mean for a point on an algebraic curve (over any field) to be singular? Over $\mathbb{R}$ or $\mathbb{C}$ is means that all derivatives vanish, but how does this definition generalise to ...
0
votes
2answers
150 views

Why $1$ isn't a prime? [duplicate]

I was wondering the reason behind defining the Prime Numbers in a manner of which $1$ isn't an example. I read in Rotman's A First Course in Abstract Algebra that one reason that $1$ is not called a ...
6
votes
3answers
299 views

What's the definition of a “local property”?

Is a property called local if and only if for every point there exists a neighbourhood for which the property is true? For example: Let $X,Y$ be topological spaces. Then $f: X \to Y$ is continuous if ...
1
vote
2answers
68 views

Does this definition of “limit point” really work

I am reading Tapp's introduction to matrix groups for undergraduates. He gives the following definition of limit point of a set: A point $p \in \mathbb R^m$ is called limit point of a subset $S ...
2
votes
1answer
57 views

is there a discipline of mathematics that studies graphical versions of various operations?

What I am interested about is a discipline that deals with mathematical operations that can be done graphically, in this case meaning using some kind of "structures" that are manipulated to arrive at ...
4
votes
2answers
284 views

Confusion about the definition of function

Yesterday I was talking to one of my friends about the definition of function. The formal definition of function is given by Cartesian Products but my friend's question was whether it is possible to ...
0
votes
0answers
30 views

Correct definition for convergence of a subsequence?

I only have the definition for convergence of a sequence, but can't find a definition for convergence of a subsequence. I have two guesses: For all $\epsilon > 0$, there exists an $N \in ...
1
vote
2answers
566 views

Defining median for discrete distribution

In probability theory, a median of a probability distribution is a number $M$ such that the CDF of this distribution $F_\xi(x)$ satisfies $F_\xi(M)=\frac{1}{2} \tag1$ This works for continuous ...
0
votes
1answer
27 views

Is there a difference in definition between an increasing sequence and a monotonically increasing sequence?

Is there a difference in definition between an increasing sequence and a monotonically increasing sequence? In some places I see they call it just inc/decreasing and some call it monotonically ...
0
votes
1answer
40 views

Does the word scalar still apply if it's not a vector?

If I take the value of something, say $50$g and I multiply that value by something else, so perhaps $50\text{g} \times 3$ what would that $3$ be called? It acts like a scalar but I'm not sure that ...
1
vote
4answers
67 views

Question about proving $\displaystyle\lim_{n\to\infty} n=\infty$ using the limit definition for a converging sequence

Prove $\displaystyle\lim_{n\to\infty} n=\infty$ using the limit definition for a converging sequence. What I did: Suppose by contra position that $n$ tends to a finite real limit $L$, so from ...
1
vote
1answer
57 views

Explanation for the definition of monomials as products of products

I'm attempting to learn abstract algebra, so I've been reading these notes by John Perry. Monomials are defined (p. 23) as $$ \mathbb{M} = \{x^a : a \in \mathbb{N}\} \hspace{10mm} \text{or} ...
6
votes
2answers
251 views

Manifold Orientability Definition

In Shigeyuki Morita's Geometry of Differential Forms, orientability is defined in the following way: If we can assign an orientation to each point on a manifold $M$ in such a way that the ...
1
vote
0answers
126 views

Definition of nonlinear bounded operator

Hi I am interested in confirming the definition of a bounded operator for a nonlinear operator. Let $X,Y$ be normed spaces. It is well known that a linear operator between $T:X \rightarrow Y$ is ...
4
votes
1answer
508 views

Points in general position

I'm really confused by the definition of general position at wikipedia. I understand that the set of points/vectors in $\mathbb R^d$ is in general position iff every $(d+1)$ points are not in any ...
0
votes
1answer
99 views

Definition of division algebra

The definition on Wikipedia of a division algebra $D$ is given as: Given $a,b \in D$, $b \neq 0$ there exists a unique $c\in D$: $a = bc$ and a unique $d \in D$: $a = db$. My question(s) are: What ...
1
vote
1answer
111 views

Definition of inverse function

I have been wondering... Is there a mathematical equation for the inverse of a function? I mean apart from the typical "replace the x's with y's" way... I tried using the inverse function derivative ...
4
votes
2answers
111 views

Why do we focus so much in math on functions (as a subclass of relations)?

Why is it that math so focuses on the subclass of relations known as functions? I.e. why is it so useful for us in nearly all branches of mathematics to focus on relations which are left-total and ...
1
vote
1answer
43 views

Tangent Space: Identifications

Given a manifold $M$. Denote a chart by $\kappa$. Introduce the directional derivative: $$\partial:\mathbb{R}^n_a\to T_a\mathbb{R}^n:v\mapsto\partial_v\rvert_a$$ That is an isomorphism with inverse ...
3
votes
5answers
143 views

Confusion in the definition of set

Which of the following is the correct definition for set? Set is a well defined collection of objects. Set is a collection of well defined objects.
1
vote
1answer
63 views

Is this how the limit of a sequence of sets is commonly defined?

I was looking at the wikipedia page for the Cantor set which defined the set using a limit. I had not previously seen a limit expression involving a sequence of sets rather than real numbers, so I got ...
3
votes
2answers
168 views

Most general definition of homomorphism and isomorphism

What is the most general definition of homomorphism and isomorphism? It is clear what they mean when there is an algebraic structure to be preserved, but what about when there is no such structure? ...
0
votes
0answers
28 views

What is the domain of continued fraction?

I'm trying to formally define (generalized) continued fraction. Consider $[i;\sqrt2,i,i]$. This is not well defined since $i+\frac{1}{i}=0$. What would be a domain of continued fraction? (As a ...
5
votes
0answers
177 views

From the viewpoint of modern geometry, is there a “best” definition of the term “triangle”?

I can think of at least six different possible definitions of the term "triangle" in Euclidean geometry. a subset of $\mathbb{R}^n$ that can be expressed as the convex hull of three or fewer points. ...
0
votes
1answer
238 views

Difference between $\Delta f$ and $\Delta f(x)$

What is the difference between $\Delta f/\Delta x$ and $\Delta f(x)/\Delta x$? Are they the same? I've been watching a lecture and the professor seems to describe the slope $$m = \lim_{x\to0} \Delta ...
0
votes
1answer
45 views

Lower Central Series and Generators

Let $G$ be a group generated by $S=\{x_1,\cdots,x_n\}$ and let its lower central series be defined as $\Gamma_1=G$, $\Gamma_m=[\Gamma_{m-1},G]$ for $m\geq 2$. By definition $\Gamma_m$ is generated by ...