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

learn more… | top users | synonyms

1
vote
2answers
122 views

Complex Measures: Integrability

Problem On the one hand, a complex measure decomposes into: $$\mu=\Re_+\mu-\Re_-\mu+i\Im_+\mu-i\Im_-\mu=:\sum_{\alpha=0\ldots3}i^\alpha\mu_\alpha$$ This gives rise to the integrability condition: ...
0
votes
0answers
20 views

Word for two objects with coplanar axes.

Is there a suitable word for describing two objects with coplanar axes (e.g. cylinders)? The word parallel springs to mind, but I wondered if there was anything more specific.
2
votes
3answers
78 views

Which quadrant is the “first quadrant”?

In the coordinate plane split into four quadrants by the $x$- and $y$-axes, I learned (educated in a public school in the U.S.) that the "first quadrant" was the one with both $x$ and $y$ positive, ...
0
votes
1answer
79 views

What is the definition of a properly-immersed arc?

I am going over a paper in which a theorem includes a condition that certain arcs are "properly-immersed geodesic arcs" in a surface $\Sigma$ with nonempty boundary. I have done a search, but I have ...
5
votes
5answers
484 views

Is $1234567891011121314151617181920212223…$ an integer?

This question came from that one and from that talk where it's noted that "integers have a finite count of digits", so that the "number" in the title is not at all a number (not integer nor rational ...
2
votes
1answer
79 views

What is an adjoint operator?

The following conjeture is stated here: Every adjoint operator has a non-trivial closed invariant subspace. Reference 11 where adjoint is supposedly defined can be found here. But I don't have ...
4
votes
2answers
112 views

Multiplication Operation

I am a father of two young boys and I looks forward to exploring mathematics with them for as long as they will let me :-). I would really like for them to have a deeper understanding of mathematics ...
9
votes
2answers
158 views

Is function $f:\mathbb C-\{0\}\rightarrow\mathbb C$ prescribed by $z\rightarrow \large \frac{1}{z}$ by definition discontinuous at $0$?

Is function $f:\mathbb C-\{0\}\rightarrow\mathbb C$ prescribed by $z\rightarrow \large{\frac{1}{z}}$ by definition discontinuous at $0$? Personally I would say: "no". In my view a function can only ...
0
votes
1answer
25 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
44 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
1answer
73 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)$ ...
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)$ ...
1
vote
1answer
69 views

what is a fiber for function mapping?

I have read that a fiber is the pre image of a mapping.. Does this mean that I can think of a fiber as a line that connects x to y where the line is a function? So for example with $f(x)=2x$ there ...
0
votes
0answers
48 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 ...
2
votes
2answers
148 views

Conceptual definition: Injection, surjection and Bijection.

I was wondering if this conceptualisation is correct: Injection means that we don't have two arrows come from an element of the domain towards the range. Hence we don't have one archer standing in ...
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
31 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?
1
vote
2answers
278 views

How to define the Nabla-Operator

As I began to teach myself in differential geometry, I finally used to use the Nabla-Operator. I know and understand its usage as in $$ \nabla f := \left( \begin{matrix} \frac{∂f}{∂x_1} & ...
1
vote
1answer
82 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 ...
2
votes
2answers
73 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 ...
8
votes
1answer
270 views

What is the difference between ❋3.01 and ❋4.5 in Whitehead and Russell's PM?

This baby step from ❋3.01 to ❋4.5 is so tiny that I can barely see the difference. Please kindly explain why it is so important to distinguish the two. What is the philosophical importance of this ...
0
votes
2answers
72 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
66 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
91 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
244 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
86 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
66 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 ...
1
vote
2answers
64 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 ...
0
votes
1answer
310 views

Mapping on a set with respect to function composition

In Isaacs' Algebra, I found the following exercise Let $G$ be a group of mappings on a set $X$ with respect to function composition. Find an example where $G$ is not a subset of ...
2
votes
1answer
62 views

If for every $x_n$ such that $x_n \rightarrow x$, there exists a $x_{n_k}$ such that $Tx_{n_k} = Tx$, is $T$ continuous?

Let $X$ and $Y$ be Banach spaces and $T$ be the (possibly nonlinear) map $T\colon X \rightarrow Y$. $T$ is continuous if for every $x_n \in X$ such that $x_n \rightarrow x$, then $Tx_n \rightarrow ...
7
votes
2answers
354 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)$ ...
2
votes
1answer
140 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: 20.3 Definition (a) For $a\in\mathbb R$ and a function $f$ we write $\lim_{x\to a} f(x)=L$ provided ...
0
votes
1answer
57 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
1answer
38 views

On closedness of $C^\ast$ subalgebras

By definition of a $C^\ast$ subalgebra it is a closed subalgebra. Why does it need to be closed? This is a restriction that is not required in the case of a Banach subalgebra. (although I can't ...
26
votes
2answers
3k views

Definition of convergence of a nested radical $\sqrt{a_1 + \sqrt{a_2 + \sqrt{a_3 + \sqrt{a_4+\cdots}}}}$?

In my answer to the recent question Nested Square Roots, @GEdgar correctly raised the issue that the proof is incomplete unless I show that the intermediate expressions do converge to a (finite) ...
1
vote
3answers
204 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" ...
1
vote
1answer
121 views

Neighborhoods: Interior

The neighborhood filters satisfy: $$\forall N\in\mathcal{N}(x):\qquad x\in N$$ $$\forall N\in\mathcal{N}(x)\exists M_0\in\mathcal{N}(x):\qquad N\in\mathcal{N}(m)\text{ for all }m\in M_0$$ Define the ...
6
votes
2answers
199 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 ...
3
votes
2answers
202 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 ...
1
vote
1answer
156 views

Field of sets versus a field as an algebraic structure

During my studies of real analysis I've come across the definition of a field (or algebra) of sets. My question is: What is the connection between this structure and the structure of a field or ...
0
votes
1answer
121 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) $\ ...
0
votes
2answers
144 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 ...
5
votes
2answers
109 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 ...
4
votes
2answers
258 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 ...
5
votes
3answers
251 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 ...
2
votes
1answer
56 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 ...
5
votes
4answers
242 views

Have any definitions in mathematics been redefined

Based on certain intuitions and motivations we make certain definitions and then proceed to use these concepts in further developing our intuition. For example, we have an intuition that a line has ...
0
votes
0answers
28 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 ...
-2
votes
7answers
1k views

What is the square root of complex number i?

Square root of number -1 defined as i, then what is the square root of complex number i?, I would say it should be j as logic suggests but it's not defined in quaternion theory in that way, am I ...