Definitions are the core of mathematical precision; they come to answer "what is X" in mathematics. Into this category fit questions regarding equivalence of definitions; clarifications regarding complicated definitions; as well questions with purposed definitions for mathematical notions with ...

learn more… | top users | synonyms

0
votes
0answers
37 views

Motivation for defining a functions codomain

Why not always refer to a functions image, what is the point in specifying some super set of that image and then naming that super set the functions "codomain"? What does explicitly defining a set ...
1
vote
1answer
53 views

On Constant mean curvature surfaces.

I have two involved questions, firstly, I know that the gauss map sends a surface to the unit sphere, so for a surface $\Sigma\subset\Bbb R^3$, parametrised by $u:U\subset\Bbb R^2\to \Bbb R^3$. Would ...
3
votes
1answer
118 views

Is the function $f(x)=1^x=1$ considered an exponential function?

I am confused about the following: The exponential function (by definition) is a function of the form $f(x)=a^x$ where $a>0$. However, when $a=1$, we get the constant function $f(x)=1^x=1$. Is the ...
0
votes
1answer
23 views

Order of cardinal number

I am puzzled. Wikipedia says: "|X| ≤ |Y| means that there exists an injective function from X to Y." Let's see sets A and B: A = {1,2,3} and B = {1,2}. f: A → B: 1 ↦ 1, 2 ↦ 2. f is injective, but |B| ...
0
votes
4answers
62 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)$ ...
5
votes
1answer
71 views

Halmos on Definability and Luzin on Division by 0

For a successful introduction of a new symbol (e.g. '$\emptyset$') into a mathematical discourse it is necessary and sufficient that the symbol refer to something (e.g. Existence + Specification in ...
0
votes
1answer
22 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
2answers
63 views

The Definition of the Indicative Conditional

From Wikipedia, we have: In natural languages, an indicative conditional is the logical operation given by statements of the form "If A then B". Unlike the material conditional, an indicative ...
1
vote
1answer
60 views

Hessian matrix as derivative of gradient

From a text: For a real-valued differentiable function $f:\mathbb{R}^n\rightarrow\mathbb{R}$, the Hessian matrix $D^2f(x)$ is the derivative matrix of the vector-valued gradient function $\nabla ...
1
vote
1answer
35 views

Definition of a continuous function

I am struggling to understand a basic definition of a continuous function from a textbook: A function f is continuous if for all x, and for all $\epsilon>0$, there exists $\delta>0$ such that ...
0
votes
0answers
27 views

Definition review: how to make this geometric definition clearer?

In a paper I am writing, I rely on the following definition Given a geometric shape $C$ and a family of geometric shapes $S$, The division number of $C$ relative to $S$, denoted $DivNum(C,S)$, is ...
6
votes
1answer
259 views

A circular proof in Rudin that $\mathbb{R}$ is a field.

Today I'm afraid, I found a circular reasoning in Rudin's Principles of Mathematical Analysis( I found no errata that mentions this). Before actually going through the actual question, I have ...
0
votes
3answers
68 views

Set question - $ ℤ^+ = ℕ$ [duplicate]

I am not sure whether the following statement is true: $ ℤ^+ = ℕ$ if not, why? Thank you in advance! I appreciate your help!
0
votes
1answer
36 views

Am I understanding Eccentricity, Radius and Diameter right?

Eccentricity, radius and diameter as defined in "Graph Theory and Complex Networks: An Introduction" (van Steen, 2010): Consider a connected graph G and let d(u,v) denote the distance between ...
0
votes
0answers
103 views

Meaning of $A^A$

Let $A$ be a matrix. I know that there is definition for $A^k$ power of $A$, and $e^A$ expontential of $A$. Is there any meaning of $A^A$?
5
votes
3answers
118 views

Why must an interior point of $E$ be an element of $E$?

This question takes place in a general metric space $X$. Let $x$ be an interior* point of $E \subset X$ iff there exists a deleted neighborhood of $x$ that is contained in $E$. This is like the ...
1
vote
3answers
51 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 ...
0
votes
0answers
21 views

Is there a term for an endomorphism defined up to conjugation by an automorphism?

Is there a standard term to designate the equivalence class of endomorphisms where two endomorphisms $\phi$ and $\psi$ are considered equivalent if there exists an automorphism $\alpha$ such that ...
1
vote
1answer
34 views

Branched covering of a manifold [duplicate]

What would be the definition of a branched covering of a manifold? I am not familiar with branched coverings at all.
2
votes
2answers
90 views

In Mathematical Logic, What is a Language?

I've been reading about mathematical logic and computability theory, but I'm somewhat confused on one note: what exactly is a language? What does it mean when I am told "let $\langle 0, +, \leq ...
3
votes
1answer
77 views

Definition of intersection of a family of sets

The definition of an intersection of family($F$) is: $$\cap F=\bigl\{x\mid\forall A: (A\in F \implies x\in A)\bigr\} $$ If my understanding serves me correctly this notation means that all the $x$ ...
0
votes
1answer
109 views

Upper Triangular Matrix Definition

Is \begin{bmatrix} 1 & 1 & 2 & 3 \\ 0 & 0 & 4 & 4 \\ 0 & 0 & 4 & 4 \end{bmatrix} an upper triangular matrix? My linear algebra teacher says that the main ...
0
votes
0answers
11 views

what are the basics of the Divergence operator?

Can you please help me with the basics about the divergence operator $div$. I don't know how to use it ? where to use it ?
1
vote
0answers
49 views

“Filters” of associative rings

Does there exist some good notion of "filters" for arbitrary associative rings with unity that would generalize filters of Boolean rings? For me, if $R$ is an associative ring with unity $1$, it ...
2
votes
1answer
114 views

Kronecker product and outer product confusion

I have two column vectors: \begin{equation} u = \left[\matrix{ 1 \cr 2\cr }\right] \end{equation} \begin{equation} v = \left[\matrix{ 4 \cr 4\cr }\right] \end{equation} I'm trying to ...
1
vote
0answers
42 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
0answers
74 views

Definition of smooth (variety)

I don't understand the motivation for the definition of smoothness of a variety: A variety $V(f_1,...,f_m)$ in $n$-space is smooth iff $\mbox{rank}$ = $n-\mbox{dim} V$. Could you please give me ...
0
votes
1answer
38 views

Should I use supremum or maximum in the definition?

Let $U$ be a certain function on sets ($U(S)$ represents the 'value' of the set $S$). If a set $S$ is partitioned to two disjoint subsets $A$ and $B$ with $A \cup B=S$, then: $V(A,B):=U(A)+U(B)$ ($V$ ...
0
votes
1answer
36 views

Definition of Limit of a Function

I'm a little confused by the definition of the limit of a function-on one hand I feel the definition suggests that your limiting variable is shrinking into a little delta ball- on the other hand when ...
1
vote
0answers
11 views

acclivity of differential equation not defined

the differential equation y'*y=cos(x) has the acclivity of y'=cos(x)/y. Obviously the acclivity is not defined for points (x=r;y=0). r= real numbers Is there a way to give a short but logic argument ...
0
votes
0answers
82 views

Is it false that the complement of an open set is closed?

Let $f:\mathbb{C}\rightarrow \mathbb{C}$ be a continuous function. Let $Z(f)$ be the zero of $f$. Prove that $Z(f)$ is closed. This is one of problems in my mid-term exam. I have used ...
6
votes
1answer
155 views

Stokes' Theorem Explanation

Can someone explain what Stokes' Theorem is measuring? What would taking the integral of a vector on a surface give you? When would you use it? This is the only definition I have and I don't really ...
0
votes
1answer
37 views

Does a bijection between two sets $A$ and $B$ implies $P(a \in C ) = P(b \in C)$, if $A,B \subset C$?

I'm just thinking about it. For example, a bijection between $\mathbb{Z^*_+}$ and $\mathbb{Q}$ implies that the probability of a random real number being rational or positive integer is the same (in ...
1
vote
0answers
30 views

What is a Complete Set of Weights of a Representation of a Lie Subalgebra?

In relation to Lie Group and Lie Algebra theory, I am studying about the weights of representations. I have come across the terminology "a complete string of weights" in my lecture course, but it is ...
-2
votes
1answer
52 views

Why does $0/0$ have to be undefined? [duplicate]

Why can't it no be $\pm$ Infinity? If $x/1$ is $x$ then $x/0$ should be $\pm$ Infinity.
0
votes
0answers
46 views

Difference between a vector space and an algebra

I'm new to the subject of algebras and I would like to get a better understanding of what they are exactly. Am I right to say the follwing: ...
0
votes
2answers
114 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
1answer
31 views

Convergence of vector spaces

I'm considering vector spaces over $\mathbb{R}$ or $\mathbb{C}$ : $(E_n)_n$ is a sequence of vector space (all included in $\mathbb{R}^p$ for example, with $p$ fixed). What meaning(s) do we usually ...
1
vote
1answer
51 views

Some troubles about topology and definition of a Vector Bundle

Disclaimer: It's heavily related to my old question : Visualizing the Topology of a Vector Bundle but I wanted to open a new question because the former had already got an answer and this time my ...
0
votes
1answer
27 views

Formal notation for finite intersection

How to state following sentence formally? Let $\tau$ be family of sets (possibly infinite). Any finite intersection of sets in $\tau$ is in $\tau$. My attempt is: $\tau$ is family of sets and ...
1
vote
0answers
35 views

A question about the names of the components of an interval

Suppose you have the interval $[n,10n]$. How do you call the $n$ in this interval? I think the $n$ can be called the "independent variable of the interval" (since the interval $[n,10n]$ can be written ...
0
votes
1answer
28 views

What is the name of the theorem that allows me to write : $f(x,y) = \frac{\partial F_1(x,y)}{\partial x} +\frac{\partial F_2(x,y) }{\partial y} $ ? [closed]

I would like to decompose $f$ into $F_1$ and $F_2$ : $f(x,y) = \frac{\partial F_1(x,y)}{\partial x} +\frac{\partial F_2(x,y) }{\partial y} $ What is the name of the theorem that allows me to do that ...
0
votes
2answers
122 views

What is the meaning of an “objective function” ?

I have studied Mathematics in french. Right now I am in front of this expression "objective function" and "objective functionals". I don't know its meaning, some one can help please ?
4
votes
3answers
352 views

The difference between hermitian, symmetric and self adjoint operators.

I am struggling with the concept of hermitian operators, symmetric operators and self adjoint operators. All of the relevant material seems quite self contradictory, and the only notes I have to go ...
6
votes
9answers
1k views

Positive and negative complex numbers?

Can there be such a thing as positive and negative complex numbers? Why or why not? What about positive or negative imaginary numbers? It seems very tempting to say $+5i$ is a positive number ...
1
vote
3answers
76 views

Why is $ |z|^2 = z z^* $?

I've been working with this identity but I never gave it much thought. Why is $ |z|^2 = z z^* $ ? Is this a definition or is there a formal proof?
1
vote
1answer
27 views

Is there any definition for homogeneous rotations?

Most of the geometric transformations can only be represented into square matrices via homogeneous coordinates, e.g., translation and 3D rotations with axes not through coordindate system origin. ...
1
vote
1answer
25 views

Reusing Variables First Order Logics

Assume we have a parametrized FO formula of this form: $$\varphi(x_1,x_2, y_1, \dots ,y_m) := \xi(x_1,x_2) \land \psi(y_1,\dots,y_m)$$ We want to use as few additional bound (quantified by $\exists$ ...
1
vote
0answers
11 views

Borel - Regular elements

In Borel's Linear Algebraic Groups (2ed) page 160 a regular element is defined in terms of its semisimple part, “thus $g$ is regular if and only if $g_s$ is regular.” A unipotent element $g$ has ...
0
votes
1answer
93 views

How is addition on N formally defined in textbooks on real analysis?

This is a follow-up question to Why does the definition of addition require proofs? In Landau's Foundations of Analysis, his definition of addition on the natural numbers seems a bit strange to me -- ...