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

learn more… | top users | synonyms

2
votes
1answer
117 views

Definition of disc and open ball

I have the following definitions in my notes for arbitrary discs and open balls - $$D^n = \{x \in \mathbb{R^{n+1}}: ||x|| \le 1\}$$ $$B^n = \{x \in \mathbb{R^{n+1}}: ||x|| < 1\}$$ The ...
5
votes
2answers
567 views

What is an ordered pair actually?

What does $(a,b)$ mean actually? I saw this in the 'formal defintion' of functions, and it tripped me up. We haven't even defined what an ordered pair is, before using it. Is it just a notation of ...
0
votes
1answer
170 views

What are the differences between a collation and a rule of formation?

I'm a beginner in mathematical logic, and currently studying(myself, without any colleague, which is sad and so asking in here) basics of formal system. Before asking a question, I'll introduce my ...
1
vote
0answers
154 views

Different definitions of uniform integrability

In different books and resources, I saw different definitions of uniformly integrable. For example, in some books the definition is like: Definition 1: $\{f_k\}\in L^1(E)$ is uniformly integrable ...
1
vote
3answers
117 views

Why isn't an injection an iif?

Suppose that $f:X \rightarrow Y$ is a function. Then an injection can be defined as: $\forall x_1,x_2 \in X, f(x_1) = f(x_2) \Rightarrow x_1=x_2$ Why isn't it defined instead as follows: $\forall ...
1
vote
1answer
79 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 ...
3
votes
1answer
108 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) ...
4
votes
1answer
74 views

writing papers: definition in word or formula?

If we write papers, is it or is it not desirable to write definitions in formulas AND words. So if I want to define the following set: $$S:=\{ x \in \mathbb{N} : P(x) \}$$ where $P$ is some predicate ...
1
vote
3answers
106 views

The difference between a fiber and a section of a vector bundle

If $ E_x := \pi^{-1}(x) $ is the fiber over $x$ where $(E,\pi,M)$ is the vector bundle. And the section is $s: M \to E $ with $\pi \circ s = id_M $. This implies that $\pi^{-1} = s $ on $M$. So then ...
3
votes
4answers
1k views

Variable vs Constant

What is the definition of a variable as opposed to a constant? I was trying to figure it out the other day. First I thought that a constant must only take 1 value (e.g. if $x+1=0$, then $x$ must be ...
0
votes
2answers
41 views

Calculate random integer inside a range of real numbers

$$F : \Bbb R \times \Bbb R \rightarrow \Bbb N $$ $$F(\text{minReal},\ \text{maxReal}) = \text{randomInt} \in \left[\text{minReal},\ \text{maxReal}\right] $$ Let $r \in [0, 1)$ be a random value. How ...
6
votes
1answer
129 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: ...
31
votes
6answers
6k views

What is Abstract Algebra essentially?

In the most basic sense, what is abstract algebra about? Wolfram Mathworld has the following definition: "Abstract algebra is the set of advanced topics of algebra that deal with abstract algebraic ...
0
votes
1answer
111 views

How do I define a string in formal language by means of a definition of tuple?

I'm constructing mathematical notions and definition from the bottom of the mathematical structure. So whenever I learn, or encounter new concepts, I try to define it step by step, without using any ...
1
vote
2answers
86 views

Abbreviate a tuple with a variable?

In a book I found the following notation $M = \{(x_1,y_1,z_1), \ldots, (x_n,y_n,z_n)\}$ for a set of 3-tuples. The author always refers to a tuple by writing $(x_i,y_i,z_i) \in M$. I'm wondering if I ...
33
votes
3answers
19k views

Determinant of a non-square matrix

I wrote an answer to this question based on determinants, but subsequently deleted it because the OP is interested in non-square matrices, which effectively blocks the use of determinants and thereby ...
0
votes
0answers
54 views

How do you call a scale that starts at $∞$, has $1/n$ divisions and tends to $0$?

A linear scale $2n$ divisions: 0 2 4 6 8 Logarithmic scales $10^n$ divisions: 1 10 100 1000 10000 ...
1
vote
3answers
80 views

Why do we define functions to be set theoretic objects?

Why do we define functions to be set theoretic objects? Functions are so intuitive, why do we define it in complicated set theory language?
0
votes
1answer
51 views

What does it mean for two conjectures to be incompatible?

What does it mean for two conjectures to be incompatible? I read about Incompatibility of two Hardy-Littlewood Conjectures. http://mathworld.wolfram.com/Hardy-LittlewoodConjectures.html What does ...
1
vote
1answer
73 views

Collection vs set in this textbook about category theory, and some related questions.

What is the meaning of collection in this context ? Is it here a synonym of set ? Can someone please explain what the author means by "A moment's though shows that, as sets of functions, these two ...
6
votes
2answers
534 views

Definition of forgetful functor [duplicate]

Is there an actual definition of "forgetful functor?" Wolfram MathWorld defines it in terms of functors from algebraic categories to the category of sets, but then says, "Other forgetful functors..." ...
8
votes
3answers
1k views

Can asymptotes be curved?

When I was first introduced to the idea of an asymptote, I was taught about horizontal asymptotes (of form $y=a$) and vertical ones ( of form $x=b$). I was then shown oblique asymptotes-- slanted ...
4
votes
2answers
207 views

How to define the disciplines of mathematics

Would you say that it is possible to give a unified, general definition of the different structures of mathematics and draw a clear distinction between them? I have been repeatedly trying to come up ...
22
votes
4answers
1k views

Is some thing wrong with the epsilon-delta definition of limit??

In the epsilon-delta definition of limit which is: For all $\epsilon>0$ there exists a $\delta>0$ such that, whenever $|x-a|<\delta$ then $|f(x)-L|<\epsilon$ . Now since $\epsilon$ ...
2
votes
3answers
179 views

Categorial definition of free products?

If $X$ and $Y$ are objects of a concrete category $\mathcal{C}$, is there an accepted definition of "free product of $X$ and $Y$," generalizing the in the special case where $\mathcal{C}$ is the ...
4
votes
4answers
153 views

Why is the derivative at a jump undefined even if the slope remains the same?

I've searched online and found almost nothing. What in the mathematical definition of a derivative makes it so that the derivative of the following is undefined at ...
0
votes
1answer
31 views

Definition of a ring S being finitely generated as an R-algebra

What is the definition of a ring S being finitely generated as an R-algebra, where R is a ring?
1
vote
2answers
76 views

$\mathbb{Z}^{+}$ includes zero or not?

Does $\mathbb{Z}^{+}$ includes zero or not? I think that $0$ is not involved in the set of positive integers, but my book included zero in the set of positive integers in an answer.
1
vote
2answers
49 views

Limit definition of a sequence question

I'm trying to use the limit definition of a sequence to prove that the limit as $ n \rightarrow \infty$ of $\frac{1}{10^n}$ is equal to $0$. It is evident to see that this limit approaches 0,this is ...
2
votes
0answers
35 views

Meaning of proper antichain

I saw this sequence on the Online Encyclopedia of Integer Sequences, which describe the number of 3-element proper antichains of an n-element set. What does it mean to be a 3-element proper antichain ...
1
vote
1answer
57 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
1answer
334 views

Definition singular manifold

I'm looking for the definition of a singular manifold. I haven't found it yet. For instance, in $\mathbb{R}^4$, with $f(x,y,z,t)=xy-zt$, $f^{-1}(0)$ is a singular submanifold. I only found a few ...
0
votes
1answer
34 views

What means $df(\tilde x) \in {\mathcal{L}(\mathbb{R}^n)}$

I'm trying to learn math on my own. The bad thing is, I can't google latex letters and they often have multiple meanings. For exmaple ${\mathcal{L}}$ could stand for lagrangian or something else. The ...
3
votes
3answers
86 views

Definition of Equals

DISCLAIMER: This is a first time Math.SE post from a 30-something who is only now learning math. I have read the Rules and this may not satisfy the "Questions with too many answers" criteria or ...
0
votes
2answers
48 views

A question about the boundedness theorem

I have a question about the boundedness theorem: http://en.wikipedia.org/wiki/Extreme_value_theorem The boundedness theorem which states that a continuous function $f$ in the closed interval ...
9
votes
9answers
7k views

If A = B, then B = A… Not Always True? Definition of “=”

A friend and I recently got into a silly argument where I stated A = B so B = A. He stated this was not always true. After asking for an example he stated ...
6
votes
1answer
303 views

Topology: Opens vs Neighborhoods

Disclaimer: This thread is meant informative and therefore written in Q&A style. The problems are highlighted in bold face. The axiomatization of topology can be done in various ways all of ...
0
votes
1answer
82 views

Defining principal elements of every poset. Is this a new idea?

Fix an arbitrary complete lattice $\mathfrak{A}$ with order $\sqsubseteq$. I call elements $a,b\in\mathfrak{A}$ intersecting and denote $a\not\asymp b$ iff there is a non-least element ...
1
vote
0answers
210 views

definition of unitary operator

Wiki says " A bounded linear operator $U: H \to H$ on a Hilbert space $H$ is called a unitary operator if it satisfies $U^{*}U=UU^{*}=I$ , where $U^{*}$ is the adjoint of $U$, $I$ is the identity ...
1
vote
1answer
65 views

Equivalent Definitions of Negative Order Sobolev Spaces

Ignoring fractional sobolev spaces, if we restrict ourselves to $k>0$ when $k$ is an integer, then the Sobolev space of order $k$, for $W^{k,p}(\mathbb{R})$ is the space of functions $f$ such that ...
0
votes
2answers
27 views

definition or property of logarithms

I've seen a lot of complicated logarithm definitions on this StackExchange and I have a rather simple question: $$a^{b}=c \leftrightarrow \log_a{c}=b$$ Is this a definition of logarithms, which all ...
1
vote
0answers
52 views

What's the name of this type operator?

If $H$, is a seperable Hilberspace, $E$ seperable Banach space. $(h_n)$ orthonormal basis of $H$. Let $T\in B(H,E)$. If we have the condition on $T$ that $$\sum_k \left\|Th_k\right\|^p <\infty,$$ ...
6
votes
2answers
621 views

Difference between being faithful and being injective on arrows

I'm studying the concept of faithful functors, but I cannot grasp the difference between being faithtful and being injective on arrows. Could someone explain the difference and provide some examples? ...
0
votes
0answers
23 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$$ ...
46
votes
4answers
3k views

Why can't we define more elementary functions?

$\newcommand{\lax}{\operatorname{lax}}$ Liouville's theorem is well known and it asserts that: The antiderivatives of certain elementary functions cannot themselves be expressed as elementary ...
1
vote
1answer
120 views

definition of limit of function on topological spaces

Def.: let be $(A,\tau)$,$(C,\zeta)$ two topological spaces, $f \in C^E$, with $E \subseteq A$, and $x_0$ an accumulation point of $E$, a point $l \in C$ is limit of $f$ as $x$ approaches $x_0$ if ...
0
votes
1answer
71 views

contact point and point of intersection

I am just unable to understand the definitions of contact point and point of intersection.My doubts can be summed up into the following two questions : 1) Suppose $f(x)=x^2$ and $g(x)=0$ are two ...
0
votes
1answer
24 views

Forms - unitary group?

If $Id$ is the $n$ by $n$ identity matrix and $J$ is the $2n$ by $2n$ matrix with $Id$ in the upper right corner and $-Id$ in the lower left corner, then $Sp_{2n} = \{G\in Gl_{2n} : G^{tr}JG = J\}$ is ...
0
votes
1answer
16 views

Characters only on commutative unital algebras?

I saw the following definition of a character: Let $A$ be a commutative unital Banach algebra. Then a non-zero homomorphism $\chi : A \to \mathbb C$ is called a character. For this definition to ...
0
votes
0answers
13 views

Category of a PDE and its properties

Now I am working on numerical method for a PDE. I am considering the following PDE: $$ u_t+a^2u_{xx}=f\\ u(x,0)=u_0\\ u(x,t)|_\Gamma=u_g $$ That equation seems very like heat equation which only ...