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

learn more… | top users | synonyms

1
vote
1answer
37 views

simplicial homology definition

I am revising for my algebraic topology exam based on Hatchers 2nd chapter of algebraic topology and I have this question regarding the definition of simplicial homology on pages 104-105: Hatcher ...
1
vote
1answer
14 views

Minimal planar domain

I am recently studing minimal surfaces on my own. I have meet in many places the fallowing statement: The only connected, properly embedded, minimal planar domains in $\mathbb{R}^3$ are a plane, a ...
0
votes
0answers
17 views

What is a purely inseparable extension?

There are many different definitions of purely inseparable extension, and below is what I have chosen for my definition. (Since I don't know what is a standard one, if you know please tell me what ...
0
votes
0answers
24 views
+50

Characterizing affine subspaces order-theoretically

Let $V$ denote a real vectorspace and $\mathrm{Con}(V)$ denote the poset of convex subsets of $V$. The goal is to identify those elements of $\mathrm{Con}(V)$ that happen to be affine subspaces of $V$ ...
1
vote
0answers
10 views

On random functions taking values in the space of continous functions.

I upload the image of the passage that is unclear to me (Theoretical statistics by Keener): I do not understand how $W_1, W_2, \dots$ take values in $C(K)$. For every different realization of the ...
1
vote
0answers
10 views

What is a separable closure? And why the standard definition of algebraic closure is defind as so?

Instead of defining it as a subfield of algebraic closure, what would be the natural way to define it? Here's what I figured out: Let $F$ be a field and $E$ be an extension field of $F$. ...
3
votes
1answer
17 views

Is normal extension algebraic?

Let $E/F$ be a field extension. Then $E/F$ is called normal iff there exists $\mathscr{A}\subset F[X]\setminus\{0\}$ such that $\forall f\in\mathscr{A}$, $f$ splits over $E$ and ...
5
votes
4answers
83 views

Constructing the natural numbers without set theory.

As I understand it the idea of defining everything as sets is a relatively new idea in mathematics. Does that mean there's a non-set theoretic definition of the natural numbers? Could there be?
-1
votes
1answer
26 views

In an augmented matrix representing a system of equations, why is it a contradiction when the LHS isn't zero and RHS is zero but not when flipped?

In an augmented matrix representing a system of equations, say a $1\times 3$ matrix: $(a,b \mid c)$, why is it a contradiction when $a=b=0, c\neq 0$ but not when $a,b\neq 0, c=0$ ?
1
vote
2answers
32 views

Vector bundle and its definition

Take this definition of vector bundle: its a triple $(V,\pi,M)$ where $V$ is a set, $\pi:V \rightarrow M$ a sutjective map such that for every $m \in M$ the set $\pi^{-1}(m)$ has the structure of real ...
10
votes
3answers
816 views

What is meant by a stopping time?

TL;DR: is a stopping time some sort of event, or is it a point in discrete time, or something else entirely what is an example of something which is not a stopping time? is my understanding of the ...
1
vote
1answer
35 views

Clarification on some definitions in Operator Theory

I'm trying to read this paper http://arxiv.org/abs/1206.3325 , but I'm having a lot of difficulty making sense of two phrases. The setting is $L_2(\mathbb R^d)$. i) He mentions that for a function ...
0
votes
0answers
17 views

(Partial) derivatives exist vs. are finite?

Is there a difference between the following two statements or do they mean the same? The (partial) derivatives of $f$ exist. The (partial) derivatives of $f$ are finite. I believe that it ...
2
votes
3answers
59 views

Injective or one-to-one? What is the difference?

What is the difference between the terms 'injective' and 'one-to-one', 'surjective' and 'onto', and 'bijective' and 'isomorphic'?
14
votes
4answers
716 views

Vector Spaces: Redundant Axiom?

Question Why are the axioms for vector space independent? More precisely $1x=x$ seems redundant... (I take the axioms from: Wikipedia) Explanation One has for zero vector: ...
0
votes
0answers
6 views

Definition of a kind of section

Let $L$ a line bundle of a complex algebraic surface. What is a rational function of $L$? (Or if you want you can take the case of the Riemann surfaces)
0
votes
1answer
33 views

On the definition of sphere in analytic geometry…

Last year, when I was teaching mathematics (analytic geometry) for one of my clever freands, I arrived to the definition of sphere. I said Fix $r>0$, An sphere is the set of all triples ...
0
votes
1answer
20 views

Definition of linear chains

I am reading Hatcher books in algebraic topology and he defined by $LC_n(Y)$ as the subgroup of $C_n(Y)$ generated by linear maps $\Delta^n$ $\to Y$ where $C_n(Y)$ is the abelian group of the $n$ ...
0
votes
0answers
13 views

Name for maximal number of pre-images under a function

Let $E$ and $F$ be sets and $f:E\to F$ be any function. I want a name for the quantity $$\displaystyle\sup_{y\in F}\operatorname{Card}(f^{-1}(y)).$$ I am currently calling it the "maximal ...
0
votes
4answers
39 views

What is the exact definition of an Injective Function

Am I right to believe that a function is injective, if some elements of the first set are mapped to some elements of the second set? It is also possible to 4 elements of the first set, are mapped to ...
3
votes
2answers
67 views

Holomorphic function definition. Am I missing something very obvious?

I'm reading a book of complex analysis in which the definition of holomorphic function is given as follows: Definition: If $V$ is an open set of complex numbers, a function $f:V \to \mathbb C$ is ...
1
vote
4answers
112 views

Are all groups algebraic?

I know the definition of a group as a set with an operation that satisfies certain axioms. I have heard that there is something called an algebraic group and that this is a group with a topology such ...
1
vote
1answer
41 views

Number of orbits in a graph.

I am confused with this concept. Consider for instance the graph $G$ with $V=\{v_1,\dots, v_{10} \}$, $E=\{12, 15, 16, 23, 27, 34, 38, 45, 49, 67, 78, 89, 910, 510, 610 \}$. This is a 3-regular ...
2
votes
0answers
24 views

What vector field property means “is the curl of another vector field?”

I know that a vector field $\mathbf{F}$ is called irrotational if $\nabla \times \mathbf{F} = \mathbf{0}$ and conservative if there exists a function $g$ such that $\nabla g = \mathbf{F}$. Under ...
0
votes
0answers
5 views

Spherical representation on locally compact group

What is the definition of a spherical representation of the the pair $(G \times G, G)$, where $G$ is a locally compact group?
3
votes
0answers
23 views

Gradient vector interpretation

I have trouble understanding the gradient vector $\nabla$. For a surface, when we find it's $\nabla$, why is the resultant vector the normal vector when $\nabla$ means gradient vector?? Thanks
3
votes
2answers
39 views

What does $×$ mean in this context

I have two definitions, from real analysis - Metric Space: Given a set $X$, a function $d:X×X→\mathbb{R}$is a metric on $X$ if for all $x, y∈X \dots $ Function: Let $A,B$ be two sets. A function ...
0
votes
0answers
16 views

Which is the correct definition of degree of a curve

I found those definitions of what a degree is and they contradict each other so I don't know which is the correct. The first definition it was by the last year professor saying that the degree of an ...
2
votes
0answers
36 views

Largest Singular Value / Singular Value

I was wondering, what if the eigenvalues of a matrix A are all negative. So does that simply mean there is no singular value for this particular matrix?, hence I can't calculate the conditional number ...
0
votes
1answer
38 views

Definition of Lebesgue measure on the Circle $X=\mathbb{R}/\mathbb{Z}$.

I was given the following definition: I feel this is not adequate and would only define Lebesgue on $[0,1]$? (Wikipedia uses a pushforard of the complex exponential) Also later I am given a proof ...
1
vote
0answers
28 views

Quartic operator definition

What is a quartic operator? I googled it but found only some articles which use that term whitout giving a definition (I found that term while studying 2D Ising model, and the use of some ...
0
votes
0answers
20 views

Definition of Strongly Absolutely Continuous

I recall seeing a definition of the phrase Strongly Absolutely Continuous in measure theory, but I can't seem to find it anywhere now. Can anyone provide a definition, or am I misremembering?
-2
votes
2answers
42 views

Formalization of the definition square root [closed]

I found it extremely difficult to formalize the following definition: We define the square root of $a \geq 0$, denoted by $\sqrt a$ to be an other number $b \geq 0$ such that $b^2 = a$ Can anybody ...
0
votes
0answers
34 views

Differentiate between Fourier analysis and Fourier decomposition

I am a beginner. I am confused between two terms i.e. Fourier analysis and Fourier decomposition.I don't understand when to use Fourier analysis term and when to use Fourier decomposition term. It ...
0
votes
0answers
21 views

Function Mapping Definition in Relation

So I have two relations: i) Ordinary relation ii) Disjunctive relation. Definition of Ordinary relation: $\Sigma$ be a finite set of attribute names, where for any attribute name $A\in \Sigma $, ...
2
votes
1answer
38 views

Well-posed vs Well-conditioned

What's the difference between a well-posed (ill-posed) and well-conditioned (ill-conditioned) problem ?` Here is my finding up to now: "Even if a problem is well-posed, it may still be ...
1
vote
0answers
46 views

Mathematical structures with name reffering to a country

I am looking for a list of mathematical structures (not theorems) that refer to a country or nationality. I only know of Polish spaces and Polish groups. Does anyone have other examples? Note: many ...
5
votes
5answers
512 views

Is there an intuitive, not-too-mathematical way of thinking about limit points? [duplicate]

so I know this question has been asked sooo many times. But I just have a few questions in particular, which despite searching, I haven't found an answer to. I appreciate any help. Book's definition: ...
0
votes
2answers
20 views

Comparing Open Bases and Covers

In Topology, I see a resemblance and similarity between open bases and open covers. Although this is a short question, what is the defining difference between the two that sets them apart? ...
2
votes
1answer
35 views

What's the correct definition of generated ideal in a pseudo-ring?

Given a ring (with $1$) $R$, one defines what, say, a left ideal is. There's also a natural definition of ideal generated by a subset Definition A: $_R(S):=\bigcap\{I\supseteq S:I\text{ is a left ...
0
votes
0answers
17 views

global manifolds

Can you also explain why the global stable manifold is the union of the flow of the local stable manifolds for t < 0? Why do we not include all t?
1
vote
2answers
24 views

Different two definitions for separable extension

Let $E/F$ be an algebraic field extension and $\bar F$ be an algebraic closure of $F$. Define $[E:F]_{\text{sep}}$ as the cardinality of $$\{\sigma\in \operatorname{Mono}(E,\bar F): \sigma \text{ ...
1
vote
1answer
38 views

When is it allowed to “take apart” a limit (multiplication of limits)?

When is it allowed to "take apart" a limit? Here's an example to show what I mean: $\displaystyle\lim_{n\to\infty}\frac{\frac 1 ne^{\frac 1n}(e-1)}{e^{\frac 1 n}-1}=e-1$ since we can "take apart" ...
1
vote
1answer
60 views

Is this definition valid?

I am working on this problem: "Suppose $f:A\times A\rightarrow A$. A set $C \subseteq A$ is closed under $f$ if $\forall (x,y) \in C \times C(f(x,y) \in C)$. Now suppose $B \subseteq C $. The closure ...
2
votes
1answer
17 views

The domain of a function as a function: the “domain-function”

The domain of a function $f:X\to Y$ is normally defined as $\operatorname{dom}f\equiv X$, but I would like the domain-function $\operatorname{dom}$ to be a funtion itself, i.e. I would like to define ...
2
votes
1answer
85 views

How to understand cocategories

$\newcommand\CC{\mathsf{C}}$The notion of a category is well-known. There are multiple equivalent definitions; small categories can be seen as an internal category in $\mathsf{Set}$, that is a ...
0
votes
0answers
17 views

Definition of frontal map

In the lecture about singularities of curves and surfaces the lecturer gave the following defintion: A smooth map $f: U \subseteq \mathbb R^n \to \mathbb R^m$ is called frontal if and only if for ...
11
votes
2answers
232 views

Motive for the definition of inner product

Mathematicians pride themselves on writing proofs of propositions in an elegant way, but frequently (maybe even usually?) neglect to formally write motivations of definitions with the same elegance, ...
1
vote
0answers
8 views

Correct understanding of col and diag operators

In a scientific paper I am currently working with, a definition of $Col$ and $Diag$ operator is introduced: We use the operator $Col_{k\in K}(x_k)$ which stacks up its vector (or matrix) ...
1
vote
3answers
31 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 ...