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

learn more… | top users | synonyms

1
vote
1answer
53 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 ...
1
vote
2answers
71 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 ...
1
vote
3answers
77 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?
1
vote
2answers
57 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
43 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 ...
1
vote
1answer
113 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 ...
1
vote
2answers
186 views

Definition of subalgebra

Is it generally implicitly assumed that if $B$ is a subalgebra of a unital Banach algebra $A$ then $1 \in B$? I tried to find a definition of subalgebra but the only definition I found was in Murphy ...
1
vote
1answer
39 views

Is $S^0$ a manifold?

Consider a singleton space $\{x\}$, it is a manifold and it is locally euclidean as there is a homeomorphism to $\mathbb{R}^0$. However, consider $S^0=\{-1,1\}$ with the discrete topology, there does ...
1
vote
2answers
277 views

Why nonlinear programming problem (NLO) called “nonlinear”? What does “nonlinearity” actually mean? Is it “not linear” or something different?

My teacher in the course Mat-2.3139 presented the same definition as in Wikipedia for the nonlinear programming problem here but he did not specify what the nonlinearity actually means or what it ...
1
vote
1answer
95 views

Is $\Bbb Q[\sqrt2]$ cyclotomic?

This overview of Galois Theory claims that a field extension of $F$ is cyclotomic if it's obtained by adjoining an $n$th root of any element of $F$. Wikipedia claims you have to adjoin a root of unity ...
1
vote
1answer
199 views

If we have an embedding $f:X \rightarrow A$, where $A \subset Y$, do we have to show $f^{-1}$ is continuous?

If we have an embedding $f:X \rightarrow A$, where $A \subset Y$, do we have to show $f^{-1}$ is continuous? I'm looking at a proof where they only show that $f$ is continuous and 1-1. Then I looked ...
1
vote
1answer
35 views

Help with this definition of $(G:_M I)$

I didn't understand why in this definition $I$ has to be an ideal to make sense. REMARK This is from Steps in Commutative Algebra, page 107. Thanks a lot
1
vote
2answers
2k views

What is the difference between isomorphism and homeomorphism?

I have some questions understanding isomorphism. Wikipedia said that isomorphism is bijective homeomorphism I kown that $F$ is a homeomorphism if $F$ and $F^{-1}$ are continuous. So my question ...
1
vote
1answer
123 views

geometrically finite hyperbolic surface of infinite volume

I am starting to read some papers involving analysis on hyperbolic manifolds. In these the notion of a "geometrically finite hyperbolic surface of infinite volume" is mentioned frequently and I am ...
1
vote
3answers
196 views

Formula for Product of Subgroups of $\mathbb Z$, Problem

What is the product of $\mathbb{Z}_2$ and $\mathbb{Z}_5$ as subgroups of $\mathbb{Z}_6$? Since $\mathbb{Z}_n$ is abelian, any subgroup should be normal. From my understanding of the subgroup product, ...
1
vote
1answer
770 views

Definition of induced cycle

According to Diestel (page 4): "If $G' \subseteq G$ and $G'$ contains all the edges $xy \in E$ with $x, y \in V'$, then $G'$ is an induced subgraph of $G$" According to Wikipedia "induced cycle is a ...
1
vote
1answer
157 views

Meaning of Point Evaluation

I read in some general measure theory books and there is always like "define measure $x$ to be the point evaluation at $y$..." but when I look around online and some other books there is no mention on ...
1
vote
3answers
238 views

Time independence in SISO systems

I started learning dynamical system a couple of weeks ago and the lecture tried to define what is a SISO system in the last lecture. The lecture wasn't very clear and did not give a formal definition ...
1
vote
2answers
108 views

Quibble with terminology

Proposition 5.15 on page 63 in Atiyah-Macdonald goes as follows: Let $A \subset B$ be integral domains, $A$ integrally closed, and let $x \in B$ be integral over an ideal $ \mathfrak a$ of $A$. Then ...
1
vote
1answer
788 views

The definition of submanifold of a manifold with boundary

What is the exact definition of submanifold of a manifold with boundary? For example, when $H$ is the half space of the plane and S is a cycle which intersects with the origin in the half plane. Then ...
1
vote
2answers
114 views

Definition of identity in a monoid

I'm having trouble understanding the way the identity element is defined in Lang's Algebra. Below is the relevant information. Suppose we have a monoid G with elements $x_{1},...,x_{n}$. We can define ...
1
vote
1answer
13 views

Lifting a principal G-bundle to a principal bundle with structure group a covering of G

Let $P\to $ be a principal $G$-bundle. Suppose $U$ covers $G$. What do we mean by a lift of $P$ with respect to $U$? Can we take $P,M,G,U$ such that no lift exists?
1
vote
1answer
13 views

Name for a collection of subsets of a set $E$ such that every element of $E$ is in some member?

Let $X$ be a set. A partition of $X$ is a collection of subsets $\{E_\alpha\}\subset\mathcal{P}(X)$ such that the following holds. For every $x\in X$, there is some $\alpha$ such that $x\in ...
1
vote
1answer
22 views

Terminology help for a set relation: for sets $X, Y$, not necessarily disjoint, such that neither is a subset of the other.

Is there an existing term for pairs of sets $X, Y$, not necessarily disjoint, such that neither $X \subseteq Y$ nor $Y \subseteq X$? Would it be incorrect (or misleading) to call them something like ...
1
vote
1answer
47 views

Metric Space Definition

From my book, the definition given is: Given a set $X$, a function $d: X \times X \to \mathbb{R}$ is a metric on $X$ if for all $x,y \in X \dots$ Then a metric space is a set $X$ together with a ...
1
vote
2answers
28 views

Is the co-domain needed if we have the range? [duplicate]

Why do we need the co-domain if we have the range? I know what both mean. Isn't it just better to use the range instead of the co-domain when defining a function? This question brought up to me when ...
1
vote
3answers
82 views

Numbers and reality [closed]

I have a question I don't really know how to formulate, so apologies for the cloudy mess. The topic is on the meaning of numbers, that is when I say 3, I am referring to, say, $3$ avocados, or $3$ ...
1
vote
3answers
48 views

About $0!=1$ and $a^0=1$ as cases of empty product.

Some useful ''conventions'' as $0!=1$ or $a^0=1$ are particular cases of an empty product, i.e. a product between elements of the empty set. I know that such product is defined as a convention by: $$ ...
1
vote
3answers
74 views

Is the zero vector in the definition of linear dependence arbritary?

The definition of linear dependence according to wikipedia is The vectors in a subset $S=(v1,v2,...,vk)$ of a vector space $V$ are said to be linearly dependent, if there exist a finite number of ...
1
vote
3answers
34 views

Continuity definition of a functional

I'm having a hard time understanding the formal definition of continuity of a functional. I'm not sure if such questions are appreciated on this site; so let me know. Definition: The functional ...
1
vote
2answers
24 views

Is transitive closure defined uniquely?

I'm encountering questions where I'm required to find a transitive closure (and the questions seem to suggest that there is only one), but I probably don't understand something in the definition, ...
1
vote
1answer
66 views

Why does this author define cardinality indirectly?

I'm studying Enderton's Elements of Set Theory and in the page 129 he defines what it means two sets being equinumerous: After that in the page 136 he defines cardinality: Why doesn't he define ...
1
vote
1answer
48 views

Limit as universal arrow

I was interested in the definition of limit as universal arrow from $\Delta$ to $F$ given in Mac Lane's CWM book. Let us begin with some notation: Let $C$ be a category, and $J$ be an index ...
1
vote
1answer
60 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 ...
1
vote
1answer
70 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
1answer
14 views

Definition of open relative, can't understand explanation

I can't figure out this paragraph: $E$ is open relative to $Y$ if to each $p\in E$ there is associated an $r\gt 0$ such that $q\in E$ whenever $d(p,q)\lt r$ and $q\in Y$ Does this look like ...
1
vote
1answer
42 views

“Length” of an element in a free group

Is there any universally agreed definition of "length" (or "width", or whatever term) of an element in a free group $F_n(x_1,\cdots,x_n)$? Intuitively, I would like the length of $1$ to be $0$; the ...
1
vote
1answer
68 views

Does this definition of the “roots” of an element of an arbitary $R$-algebra make sense? If so, where can I learn more?

(All my rings and $R$-algbras are commutative and unital.) Question. I think it makes sense to speak of the "roots" of an element of an arbitary $R$-algebra; a definition is given below. Does it ...
1
vote
1answer
39 views

Russell's Paradox for the zero set and a set with the zero set.

So I have a question: Let: Allow set B = {x: x $\notin$ x}. Then, B $\in$ B $\iff$ B $\notin$ B ? Does this apply for the zero set? Because I'm a bit confused. The definition is a zero set is always ...
1
vote
1answer
37 views

Clarification of some doubts on the definition of submatrix

I don't fully understand how I can choose a submatrix in a matrix. Judging from this definition and picture (http://mathworld.wolfram.com/Submatrix.html), I would assume that you can't pick as a ...
1
vote
1answer
76 views

Definition of Butterfly Effect

The Wikipedia definition of the Butterfly Effect seems to imply that linear functions can exhibit the Butterfly Effect. In particular if the state space is $\mathbb{R}$ with the usual metric then if ...
1
vote
1answer
40 views

Characteristics of $f(x,y)=\sqrt{xy}$

$f(x,y)=\sqrt{xy}$ (i) Determine the maximal domain of $f$, thus that the range is real. (ii) Is $f$ continuous its domain? (iii) Determine and describe all Level sets of $f$ To (i) $D:=\{(x,y)\in ...
1
vote
3answers
56 views

Contrapositive of a Definition

I have a problem (in real analysis class) that states "What is the contrapositive of the definition of "closed"?" The definition in our class of closed is: "a set E is closed iff the set contains all ...
1
vote
2answers
76 views

How is it called when one ellipse is “more elliptical” than another one?

Assume you have two ellipses, $A$ and $B$. Now $A$ looks "flatter" than $B$ because its ratio $\frac{\text{major axis}}{\text{minor axis}}$ is bigger. This means it "looks less" than a circle. How is ...
1
vote
1answer
71 views

What is $1 / \mathbf{Set}$ if $1$ is a one-element set and $\mathbf{Set}$ a category?

What does $1 / \mathbf{Set}$ denote? A pointed set is a set $X$ equipped with an element (a basepoint) $x \in X$. Let $\mathbf{Set_*}$ be the category of pointed sets and basepoint-preserving ...
1
vote
1answer
75 views

What does it mean for a function to be uniquely determined by another function?

In munkres topology, I went through an exercise which asks me to show that a function is uniquely determined by another function. I wonder, What does this mean? I googled it but No answer! Here is ...
1
vote
1answer
72 views

Definition of elliptic pde

http://en.wikipedia.org/wiki/Elliptic_partial_differential_equation Very confusing. So are there non-linear elliptic pdes? It seems to be the case. And what about $$A u_{xx} + C u_{yy} + F u = 0$$ ...
1
vote
1answer
53 views

Definition of global field

This is very embarrassing thing to ask but what is a definition of global field? Every text or internet sources says either a number field or function field over finite field. (Yes, I understand there ...
1
vote
2answers
72 views

The sequence in the definition of the integral

In my high school Calculus class, we learned this definition of the definite integral: $$\int_a^b f(x)dx = \lim_{n\to \infty} \sum_{i=1}^n f(x_i) \frac{b-a}{n}$$ Now that I know more about sequences ...
1
vote
3answers
110 views

Definition of a principal ultrafilter

I just started trying to read through Lectures on the Hyperreals: An Introduction to Nonstandard Analysis, by Robert Goldblatt. I'm near the beginning in the section on filters. He's defined an ...