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

learn more… | top users | synonyms

0
votes
1answer
129 views

n-tuple function definition

I've read this definition for an hour now and I cannot piece it together abstractly. To define an n-tuple as a function $F$, where $X$ is the index set and domain, and $Y$ is the set containing the ...
1
vote
1answer
124 views

How many teams of $5$ players out of $15$ girls and $10$ boys can be formed with at least $2$ boys and $2$ girls [with complement]

How many teams of $5$ players out of 15 girls and 10 boys can be formed with at least 2 boys and 2 girls? The solution has to be with complement. This is related to: How many ways to assemble a team ...
1
vote
1answer
22 views

Definition of the tensor product of finite sequence of modules

I have posted several questions about the tensor product of modules before and this post would be the final one. I have read wikipedia,mathSE,Dummit&Foote and Bourbaki for the definition of the ...
0
votes
1answer
80 views

What is the difference between an antiderivative and an integral?

In my textbook, it states the fundamental theorem of calculus as follows: If $f(z) $ has an antiderivative $F(z)$, then $\int^{z_2}_{z_1} f(z)dz=F(z_2)-F(z_1)$. There isn't a definition of what an ...
1
vote
1answer
107 views

Definition of tensor product

Here is the standard dedonition of the tensor product of two modules: Definition for tensor products of two modules: Let $R$ be a ring and $M$ be a right module and $N$ be a left module. ...
0
votes
0answers
39 views

Use of the word “if” in mathematical definitions [duplicate]

I'm looking at the following definition The random variables $X_{1}, \ldots, X_{d}$ are said to be comonotonic if they admit as copula the Frechet upper bound. I am however not quite sure how to ...
0
votes
1answer
93 views

Is free abelian group a “free” abelian group or “free abelian group”?

Let $G$ be an abelian group. What does it mean that $G$ is a free abelian group? Does this mean that $G$ is a free group or a free-$\mathbb{Z}$-module with the operation $n•a=a+...+a (n-times)$? Or ...
2
votes
0answers
62 views

Relations in a finitely complete category with images

I can't use tikz inside MathStackExchange; so my question is on an image below.
-1
votes
1answer
71 views

Dirac Delta Function definition with ksi (ξ)

The dirac delta function has a definition $$f(0)=\int_∞^∞f(x)δ(x)dx$$ and $$ f(x)=\int_∞^∞f(x-ξ)δ(ξ)dξ $$ (the lower bound is minus infinity but I couldn't add a minus :/) I do understand the ...
0
votes
1answer
89 views

If for any $\varepsilon$ exists $\delta$, does that mean that for every $\delta$ exists $\varepsilon$? [closed]

For any $\varepsilon \gt 0$ exists $\delta \gt 0$, does that mean that for any $\delta \gt 0$ exists $\varepsilon \gt 0$? If $\delta$ depends on $\varepsilon$ such as $\delta = \frac 1 \varepsilon$, ...
4
votes
2answers
426 views

Why use open sets in definitions?

I've been wondering why do we use mostly open sets in mathematics to define numerous things. For example continuity is defined using (open) neighbourhoods, differentiability and Taylor's theorem is ...
1
vote
1answer
43 views

What do these definitions of conjugacy have in common?

Here are four (seemingly) different uses of the word conjugate: Complex conjugates are a concrete instance of the idea of conjugacy in field extensions. In group theory, there's the idea of ...
1
vote
2answers
166 views

Memorising lots of maths theorems/lemmas

In a few weeks I'll have my summer exams in a Senior Freshman Mathematics course. Two of my modules have a huge number of theorems, lemmas and definitions - over 200 definitions and 250 proofs by my ...
0
votes
1answer
56 views

Definition: What is a two-sided Lie ideal of a Lie algebra?

Let $\mathfrak{g}$ be a Lie algebra and let $\mathfrak{h}$ be a subalgebra. According to wikipedia, $\mathfrak{h}$ is called an ideal of $\mathfrak{g}$ if it satisfies the condition that $$[\mathfrak{...
2
votes
0answers
105 views

What is the standard definition of Torsion element?

Here are two different definitions of torsion element. Let $M$ be an $R$-module and $m\in M$. Wikipedia: $m$ is a torsion element iff there exists a nonzero regular element $r$ (i.e. Not a zero ...
2
votes
1answer
21 views

Different percent-valued Majority gates

It has been defined that a Majority gate follows this formula concerning its behavior about outputs: $$\operatorname{Maj} \left ( p_1,\dots,p_n \right ) = \left \lfloor \frac{1}{2} + \frac{\left(\...
0
votes
0answers
29 views

Definition of a topology on a set $X$: may $I$ contain uncountable many elements or is it restricted to be finite or countable?

I've the following definition of a topology $\mathcal I$ on a set $X$: (T1) $U_a \in \mathcal I, a \in I \Rightarrow \cup_{a \in I} U_a \in \mathcal I$ (T2) $U_1, U_2 \in \mathcal I \Rightarrow U_1 \...
0
votes
1answer
92 views

About the definition of universal covering space

There are some references (for instance in Greenberg & Harper) that consider the universal covering space to be not only simply connected but also locally path connected. This definition seems to ...
1
vote
0answers
28 views

What is a “nonparametric function”?

I am looking for a formal definition of the term "nonparametric function." I understand the term and I use nonparametric regressions http://en.wikipedia.org/wiki/Nonparametric_regression but I haven'...
2
votes
3answers
158 views

Field axioms: Why do we have $ 1 \neq 0$?

In the definitions of a field, we have $ 1 \neq 0$. I know that in regular multiplication $0 \times 1=0$ but for reciprocal we don't have inverse of $0$. But all the spaces and different definitions ...
4
votes
2answers
73 views

Proper divisors of 1?

What are the proper divisors of 1? I understand proper divisors do not include the number itself, but is 1 an exception or does it have no proper divisors?
2
votes
2answers
103 views

Logical consequence in all structures in Kripke semantics

I read* the following definition of logical consequence in all structures within Kripke semantics:$$X\models A\iff\text{ for every } (W,R),\text{ if }(W,R)\models X,\text{ then }(W,R)\models A$$ $$\...
1
vote
2answers
130 views

Zero: What is it and can I define it?

So I understand that zero is utterly and completely necessary. I've been reading a lot about this and it seems like some people get heated. I'm not a math guy, so if I offend you with my ignorance, ...
0
votes
0answers
81 views

Is it correct to say that if $\lim\limits_{x \to a}f(x) = 0$ it is an Infinitesimal?

I think I'm misuderstanding something here, because to my understanding the definition of infinitesimal given in my textbook does not convey the same thing as in other sources. I've read the ...
1
vote
0answers
37 views

why does function relates input to only one output? [duplicate]

I'm trying to understand the rationale behind definition of function. Why is function defined as a relation which relates input to only 1 output? What would happen if we allow function to relate ...
0
votes
2answers
82 views

Trigonometry is to triangle as _____ is to circle.

What is the most suitable word to put in that gap? Something that corresponds to the study of circles.
2
votes
2answers
71 views

Group action and Right action

Sorry if this may seem trivial - I just started studying Group Theory. This is the problem: Prove that $(g,h) \rightarrow hg$ does not define a group action with $g$ acting on $h$. Prove instead ...
0
votes
1answer
33 views

Definition of an induced matrix norm.

Could someone explain the second equality in the definition of a induced matrix norm to me? Let $\| \cdot \|$ be a norm for $\cdot \in \mathbb{R}^n$, then the induced matrixnorm for $A\in \...
4
votes
1answer
548 views

What's the difference between list and sequence (as mathematical concepts not programming point of view)?

What distinguishes between set, multiset and list is whether the order is important or not, and whether repetitions of elements is allowed: List: order is important and repetition is allowed ...
0
votes
0answers
65 views

Definition of argument-based $\min$ and $\max$

When I say "argument-based", I mean $\min$ and $\max$ functions that take arguments, as opposed to the min and max of a function. For example: $\min(3,4,-2)=-2$, $\min(100,3)=3$, $\max(3,4,-2)=4$, etc....
2
votes
0answers
47 views

Uniform Boundedness: Am I right or my TA?

I am a student, and I disagree with the solutions our TA has prepared. I am seeking verification that I am correct or explanation as to why I am wrong. It seems to be a disagreement or ...
2
votes
2answers
58 views

What is $\mathbb{Z}[a]$?

Let $\alpha$ be algebraic over a field $F$. Then, $F(\alpha)$ denotes the subfield of $F$ generated by $\alpha$. This is the standard definition of $F(\alpha)$. Under this definition, for example, ...
0
votes
1answer
60 views

What is the justification for calling a hereditary system an independent system?

I was learning about set systems and hereditary systems and I noticed that they also call a hereditary system a independence system and that didn't quite make sense to me intuitively. First recall ...
5
votes
3answers
2k views

Definition of a bounded sequence

My professor gave the following definition: A sequence $\{x_n \}$ is said to be bounded if $\exists M > 0$ such that $|x_n| \le M$ for all $n \in \mathbb N^+.$ But then what about the sequence $(...
4
votes
1answer
542 views

Left Hand Derivative Definition

What is the actual definition of Left Hand Derivative ? I bumbed into this site and the second white box on their site gives the definition . Is that wrong ? What is the correct one then ?
0
votes
1answer
862 views

Precise definition of distinct vectors

What is the precise definition of 'distinct vectors'? In particular, are the vectors (2, 1) and (4, 2) distinct, seeing as they are multiples of each other?
1
vote
2answers
81 views

Definition of algebraic structure

Is there a definition of algebraic structure? Wikipedia says: a set (called carrier set or underlying set) with one or more finitary operations defined on it. In particular, what is the ...
0
votes
0answers
66 views

How to say this in math lang?

Well, I have a paper to write in which I have to formalize the following definitions: A transaction is composed of actions (and cascading actions), which affect tables, which are made of records. ...
0
votes
1answer
47 views

Is it legal to define a function to be undefined for some x?

Is the following definition legal: f(x) = 1 for 0<x<1, and undefined otherwise. Such functions clearly exist, but the question is if it is legal to just ...
0
votes
0answers
32 views

Is $\int^{\infty}_{-\infty}\delta(x-x_0)f(x) \, dx = f(x_0)$ sufficient to define delta distributions?

Most of the sources start introductory section of the delta distributions by defining \begin{eqnarray} \delta(x-x_0)&=&\begin{cases} \infty, & \text{if $x=x_0$}.\\ 0, & \text{...
1
vote
1answer
107 views

Definition of Euclidean domain

Today we learned about Euclidean domains in class but I don't understand why we need one of the conditions stated in the definition . We called an integral domain R a Euclidean domain if there exists ...
1
vote
1answer
82 views

A strange definition for a strange set.

Given a ring $A$ we know that its center $C=\{x : yx= xy \;, \forall y \in A\}$ is a well defined subset of $A$. Now I want define a set that, intuitively, is '' The set of all elements that commute ...
1
vote
2answers
93 views

Is definable $\emptyset$-definable?

A set $A$ is $X$-definable in an $L$-structure $\mathcal{M}$ with a domain $M$ iff there are an $L$ formula $\phi(a,\bar x)$ and $\bar x \in X^n$ such that $A=\{a \in M^m | \mathcal{M} \models \phi(a,\...
1
vote
1answer
335 views

Difference between transform and transformation.

I was told that there is a difference between a transform and a transformation. Can anyone point out clearly. For example : Is Laplace Transform not a transformation ?
0
votes
1answer
85 views

Prove a limit using the formal definition of the limit

So I have a sequence {a_n} = π/2^n where n=1,2,3,4.... And I need to prove that its limit is 0. Here is what have done, can someone check and tell me if this is correct.? Definition: A sequence {...
1
vote
1answer
81 views

What is $g^1_3$?

I'm trying to find the definition of $g^1_3$ in algebraic geometry Hartshorne's book, anyone who is used with this book could help me to find this definition? Thanks Remark: this extract is from ...
8
votes
2answers
223 views

Why is it difficult to define n-category?

Forgive me for the vagueness in the following paragraph, but I don't know how to communicate what I am thinking more formally. If we have a definition for 1-categories (category) and a definition for ...
4
votes
2answers
677 views

Definition: Mathematical way to define the “left” and the “right”

How do we define the left and the right, (such as left/right handness) from a mathematical way of definition? How can we explain this definition to some inhabitant of a distant stellar system who has ...
5
votes
3answers
126 views

why does we need to satisfy $d(x,y)\le d(x,z)+d(z,y)$ in order to show metric space?

In metric space some axioms must be satisfied . I wonder why we need to satisfy $d(x,y)\le d(x,z)+d(z,y)$ in order to be metric space. If this axiom is not satisfied, does any problems occur? ...
1
vote
1answer
37 views

Question about function composition

All textbooks and websites I've consulted define function composition thus: Let $f: A \rightarrow B$ and $g: B\rightarrow C$ be functions. The composite of $f$ and $g$ is the function $f \circ g: ...