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

learn more… | top users | synonyms

1
vote
0answers
36 views

What does rigoruous but non-technical mean?

Hi I find the above expression a bit confusing. I am considering buying a book and it says that it's a rigorous but non-technical introduction to optimal stochastic control. Could someone explain ? ...
1
vote
1answer
27 views

What is the definition of differentiation in normed space?

I'm trying to generalize implicit&inverse function theorems in Euclidean spaces to the context of Banach spaces. I'm wondering what would be the definition of differentiation in Banach space and ...
0
votes
0answers
13 views

$k$-ary labeled trees with distinct labels

Classical definition of $k$-ary labeled trees doesn't restrict somehow the uniqueness of tree labels inside its branches. My question: Is any special definition (name) for such trees? To clarify ...
1
vote
1answer
41 views

What is an omega model?

I went to a seminar and a side question was if a theory had an omega model, however from the context I could not deduce the exact meaning. Does an omega model have a general meaning in mathematical ...
1
vote
0answers
31 views

Proper usage for term, addend, factor, multiplicand, expression, formula

The definitions and usage of the following words seem to vary, depending on the source text: term addend factor multiplicand expression formula The words are being used in the context of ...
1
vote
1answer
22 views

Clarification on definition of a basis

Quick question; lets say that $S$ is a basis of $V$. I understand that this means all vectors in $S$ are linearly independent, and that every vector in $V$ is an element of $\text{span} \ S$. Is it ...
2
votes
1answer
69 views

Is this relation transitive? $R=\{(1,2),(1,1),(2,1),(2,2)\}$ over $A=\{1,2,3\}$

Is this relation $R$ over $A$ transitive?$$A=\{1,2,3\}$$ $$R=\{(1,2),(1,1),(2,1),(2,2)\}$$ Since from the definition a relation is transitive if $\forall x,y,z\in A (xRy,yRz\to xRz)$, so since $3$ ...
3
votes
0answers
178 views

What is the “correct” way of making $\mathcal{P}(X)$ into a topological space?

If $X$ is a topological space, I want to know the "correct" way of making the powerset $\mathcal{P}(X)$ into a topological space. So let $\mathsf{SupLat}$ denote the infinitary Lawvere theory whose ...
1
vote
1answer
48 views

Are 'vectors' vectors?

Let us say I have a 'vector' $\vec v$ for which I can do the following operation on $A\vec v$ where $A$ is a matrix. Now most people (i think) would say that $\vec v \in R^n$ however $\vec v$ is not a ...
0
votes
1answer
60 views

Given a field extension $K\colon F$, $K$ is an $F$-vector space

I'm having a hard time understanding fields. Could someone help with the following I need to show that if $F$ $\subseteq$ $K$ are both fields and addition and multiplication on F are the ...
2
votes
3answers
43 views

If $f\circ g = g \circ f$ does that mean that both functions are to and from the same set and both are bijections? Does it tell us anything else?

If $f\circ g = g \circ f$ does that mean that both functions are to and from the same set and both are bijections? Does it tell us anything else?
0
votes
1answer
34 views

Question about defintion of inner product space

While practising I came across the following easy question: "Is the space $B(0,1):=\{f:[0,1]\rightarrow\mathbb{R}$ bounded$\}$ an inner product space?" But I'm not quite sure what the correct answer ...
1
vote
2answers
66 views

If the empty set is a subset of every set, why isn't $\{\emptyset,\{a\}\}=\{\{a\}\}$?

If the empty set is a subset of every set, why it isn't written with the elements of a set? like so $\{1,2,3,\emptyset\}$ Or why isn't $\{\emptyset,\{a\}\}=\{\{a\}\}$? I know one has two elements ...
1
vote
2answers
80 views

Find the right cosets of $H$ in $G$ simple example

Question: Let $G$ be a group and $H<G$ a subgroup with $|G:H|=2$ Show that the right cosets of $H$ in $G$ are $H$ and $G\backslash H$ Answer given: There are two right cosets, they are disjoint ...
0
votes
2answers
48 views

Give an example of a set which is not transitive

Transitive set: set $x$ is transitive if $\forall y\in x(y\subseteq x)$ I think $\{\varnothing\}$ is not transitive since $\varnothing\in\{\varnothing\}$ but $\varnothing\not\subseteq\{\varnothing\}$ ...
3
votes
2answers
48 views

slightly different definition of an ordered pair

In a paper I was reading an ordered pair had a slightly different definition $\langle a,b \rangle = \{a,\{a,b\}\}$ instead the normal Kuratowski definition which is that $\langle a,b \rangle = ...
1
vote
0answers
28 views

The maximum notation as regards the absolute value?

We know that $\max(\textbf{A})$ gives the maximum element of the array $\textbf{A}$. What is the notation, or a short formula, if we seek the element having the largest absolute value? e.g., ...
0
votes
2answers
24 views

Why can we write a uncontinual function continual?

Let's consider $$f(x) = \frac{(x-1)(x-2)(x-3)}{x^2-3x+2}$$ with definition $D_{f} = \mathbb{R} \setminus \lbrace 1, 2 \rbrace$. This means we are allowed to set $x$ to every value of $\mathbb{R}$ ...
0
votes
1answer
32 views

Local Homeomorphisms: Characterization

Problem Consider for simplicity a surjection $F:X\to Y$. Are these characterizations of local homeomorphisms equivalent: $$\forall x\in X:\exists U_x\in\mathcal{T}_X, V_y\in\mathcal{T}_Y:\quad ...
0
votes
1answer
53 views

Can every function be a composite to itself and how to know if a composite between two functions is defined?

Can every function be a composite to itself? like we have $f:A\to B$ is $f \circ f$ always defined? Can we say that if $f$ is a injection/surjection/bijection then so is $f\circ f$? Also, how do ...
0
votes
2answers
38 views

Determinant of Polynomial

I was reading some paper and it says 'Let $\Delta$ denote the determinant of the polynomials $P,Q$ and $R$ with respect to the basis $1,X,X^2$' ($P,Q$ and $R$ are degree 2 polynomials). And then I ...
1
vote
1answer
72 views

definition of a $\Delta$ - complex

I've been given this image from hatchers algebraic topology as an example of a $\Delta$ complex but with the explicit definition as follows A $\Delta$-complex structure on a space X is a collection ...
2
votes
1answer
133 views

Question about Definition of Boundary in Stokes' Theorem

I was wondering if what my teacher said was correct and complete in that in Stokes' Theorem the "boundary curve" of a surface can be defined as the mapping along the boundary of the two-dimensional ...
0
votes
0answers
24 views

Holomorphs and split extensions

The notion holomorph was introduced in Maria S. Voloshina's Ph.D. thesis On the Holomorph of a Discrete Group. It is defined as follows: Let $G$ be a group and let $\mathrm{Aut}(G)$ be the ...
0
votes
0answers
63 views

Difference between upper bound, maximal element, and maximum

In order to learn the difference between upper bound, maximum, and maximal element (of a set), I wrote down the following. Is it correct? Upper bound not necessarily element (of set) greater than ...
0
votes
0answers
16 views

What is meant by “commutes with spatial translations”?

Let $f\colon(X,\mathcal{B},m_1)\to(X,\mathcal{B},m_2)$, where $(X,\mathcal{B},m_i), i=1,2$ are measure spaces. What is meant when saying that f commutes with all spatial translations?
1
vote
0answers
22 views

$k$-cube definition clarrification

If $c:I^k\rightarrow\mathbb{R}^n$ is a singular $k$-cube. What will $\partial c$ be? Will it be a singular $(k-1)$-cube or a $(k+1)$-cube or something else? Definition - A singular $k$-cube on $U$ ...
7
votes
1answer
116 views

Is there a name for a regular semigroup with zero in which the product of any two different idempotents is zero?

As the title says, my question is: is there a name for a regular semigroup with zero in which the product of any two different idempotents is zero? Note that any such semigroup is necessarily an ...
0
votes
0answers
37 views

Is there a name for a function that returns only binary values?

Is there a name for a function that returns only binary values (e.g., $f(x) : X \rightarrow \{0,1\}$)?
1
vote
1answer
17 views

Is $(-\infty,0)\times S$ for a compact closed manifold $S$ a “manifold with boundary and cylindrical ends”?

I read the following definition from this paper. Definition: Let $N$ be a Riemannian manifold with boundary $\partial N$. We say $N$ is a manifold with boundary and cylindrical ends if there ...
2
votes
1answer
39 views

What does “be the inclusion” mean?

Can anyone explain what the phrase means? To be specific, my notes has the phrase "let $f:A \rightarrow B $ be the inclusion". Does this mean the identity map?
1
vote
2answers
51 views

Power set of $\{\{\varnothing\}\}$

$$\mathcal{P}(x)=\{y\mid y\subseteq x\}$$ $$\mathcal{P}(\varnothing)=\{\varnothing\}$$ $$\mathcal{P}(\{\varnothing\})=\{\varnothing,\{\varnothing\}\}$$ ...
0
votes
0answers
14 views

What does bimeasurable mean? Is an invertible transformation bimeasurable?

What exactly is the meaning of a bimeasurable transformation? I did not find a very clear answer to that. As far as I see it means that Borelsets are maped to Borelsets. So an invertible ...
1
vote
2answers
39 views

Corresponding partition in equivalence relation

The relation $R$ on the set $A=\{2,4,6,8,10\}$ is defined by $$R=\{(2,2),(2,6),(2,10),(4,4),(4,8),(6,2),(6,6),(6,10),(8,4),(8,8),(10,2),(10,6),(10,10)\}$$ Question 1 Verify if $R$ is an ...
6
votes
2answers
239 views

Is a function defined at a single point continuous?

Is a function defined at a single point continuous? For example $f:\{0\}\to\{0\}$ defined by $f(x)=\sqrt{x}+\sqrt{-x}$ is a sum of two continuous functions and is therefore continuous, however for ...
2
votes
1answer
55 views

What is a regular homotopy?

The definition of regular homotopy from Wikipedia says that two immersion $f,g:M\to N$ are regularly homotopic if they represent points in the same path-component of $\text{Imm}(M,N)$. What does ...
2
votes
2answers
71 views

Questions which have false conditions

There are many "questions" on the internet like If $$1=5$$ $$2=6$$ $$3=7$$ $$4=8$$ then how many is $5$? With one "logic" answer is $9$ because $n=n+4$, then $5=9$. With other "logic" ...
1
vote
1answer
54 views

Is “algebraic system” the same as “algebraic structure”?

1. algebraic system | planetmath.org: http://planetmath.org/algebraicsystem It seems that algebraic system is only a set on which some operations are defined. Is it necessary that some additional ...
0
votes
1answer
58 views

The Sobolev Space $H^{1/2}$

this is a very stupid question. In my course of linear PDEs, the professor used $H^{1/2}$ without defining, and I have looking on google to find a definition, but the only related thing I found was ...
2
votes
1answer
70 views

Show a function is well defined

My understanding of a function being well defined: Let $(G,\circ)$ be a group and let $H\unlhd G$ be a normal subgroup. Let $G/H=\{ah\mid a\in G\}$. For a group $(G/H,\star)$(the quotient ...
2
votes
2answers
49 views

A question about two common definitions

Two definitions make me puzzled ! 1. The definition of $\textbf{Functions Differentiable at a Point}$: A function $f$ defined in a neighborhood $(x_{0}-\delta,x_{0}+\delta)$of a point $x_{0}$, ...
0
votes
0answers
15 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
73 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
48 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 ...
0
votes
0answers
38 views

Are my definitions correct? (Formal language)

I will describe how I understand below. Please tell me where I'm thinking wrong or correct. Symbol is an undefined term just like a set. Symbol can be ragarded as a object we consider. ...
2
votes
1answer
68 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 ...
5
votes
5answers
449 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 ...
4
votes
2answers
77 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 ...
8
votes
2answers
104 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
24 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]$