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

learn more… | top users | synonyms

0
votes
1answer
35 views

$f$ attains its minimum, delta definition

I just want to check if the following "definition" makes sense and is correct: A function $f: X \rightarrow \mathbb{R}$ attains its minimum if $\exists \delta > 0$ such that $f(x) \geq \delta$, ...
0
votes
3answers
71 views

If I prove that $|A| > |\mathbb{N}|$, does it mean that $A$ is uncountably infinite?

My intuition is that if something is larger than $\mathbb{N}$ then it follows that it is larger than $\mathbb{Q}$ as there is a bijection from $\mathbb{N}$ to $\mathbb{Q}$. So if a set is larger than $...
0
votes
0answers
25 views

What are notions of “well-behavedness” for distributions?

When talking about functions, there are many notions that are interpreted as well-behaved, such as increasing, continuous, integrable, and many of these terms can be directly understood in some ...
0
votes
2answers
54 views

Show that $\frac{te^t}{e^{2t}-1}$ is integrable?

How to show that the function $f\mapsto\dfrac{te^t}{e^{2t}-1}$ is integrable on $(0,+\infty)$ ? I think it suffices to say that $f\mapsto\dfrac{te^t}{e^{2t}-1}$ is well-defined and continuous on $(0,+...
-1
votes
2answers
69 views

Is there a definition that defines the set of all factors of a natural number? [closed]

So let's say that you have the number $n=12$. The factors of $12$ are $1$, $2$, $3$, $4$, $6$, and $12$. I'm wondering if there's some definition that when you plug in a natural number $n$, it will ...
4
votes
4answers
474 views

Is every Closed set a Perfect set?

From 'baby' Rudin. I've seen that a set is closed iff it contains all of its limit points. In Rudin, $(d)$ says if every limit point of E is a point of E, then $E$ is closed. He also says $(h)$: $E$ ...
4
votes
0answers
30 views

Prove Limit Addition Thm as x approaches infinity

I am supposed to prove prove $\lim_{x\to \infty} [f(x)+g(x)]= L+M$. Starting to realize I don't really understand the formal definition of a limit, although I do understand the general concept. ...
1
vote
0answers
16 views

Different meanings of $L_r(P)$: norm, metric, class of functions

I have doubts on the meaning of the symbol $L_r(P)$ for $r\in \mathbb{N}$. Consider a random variable $X: \Omega \rightarrow \mathbb{R}$ with probability distribution $P$ and a random function $f:\...
0
votes
0answers
46 views

Definition of q-ary lattices

Lattices defined over the vector space over $\mathbb{R}^n$, whereas q-ary lattices consists of only integers i.e., Let A be a $\mathbb{Z}_q^{n\times m}$ then q-ary lattice is defined as $$\Lambda(A) = ...
2
votes
0answers
20 views

The different between Non-parametric statistics and Parametric statistics?

I have 1D data. I want to classify the data to $N$ cluster. The two common ways can use Using the mean/average value as a criterion to classify Assumption that the data follows a distribution with ...
1
vote
2answers
54 views

Defining Positive integers..

While reading Calculus by Apostol I found the set of positive integers defined as "Set of Real numbers that belong to every Inductive set"... The question is "Why we don't define the set of 1,1+1,1+...
1
vote
0answers
50 views

What does non-degenerate mean?

The context is that f is a real-valued function on a plane such that for every non-degenerate square ABCD in the plane, f(A)+f(B)+f(C)+f(D)=0.... What does this word mean here? I've found that "in ...
1
vote
1answer
29 views

Formula for Determining Cost

I am trying to put together a formula for determining company costs for certain services in-house. A little background: before I arrived, the company outsourced their IT work. Now that I've been hired,...
1
vote
1answer
53 views

Is there any difference between covariant vectors and one-forms?

Just need to have it clarified, are the 2 expressions interchangeable, or is there any difference? I'm trying to learn differential geometry on my own and it is really hard.
7
votes
1answer
81 views

The category of locally $P$ spaces

Let $P$ be a class of topological spaces (for example, compact spaces). The class of locally $P$ spaces consists of those spaces in which every point has a neighborhood basis consisting of $P$ spaces....
0
votes
0answers
24 views

How to define a non Triangle Free Graph

Consider a Regular Connected Graph $G= \bigcup\limits_{i=1}^{m} U_i$ where- $U_i$ is a sub-graph of $r$ vertices $\forall i$.(i.e. $G$ is a $r$ regular graph) $\forall i$, $U_i$, is not a ...
0
votes
0answers
51 views

Definitions of Weil Algebras

I am confused by several definitions of Weil Algebras and their connection to each other. Kock's book on synthetic differential geometry defines a Weil algebra over a ring $R$ as an $R$-algebra of ...
1
vote
1answer
53 views

What is the standard definition of a “periodic” function?

This question is admittedly pedantic, but I like my definitions precise. Tom Apostol, in his calculus book, defines a periodic function as follows. A function f is said to be periodic with ...
2
votes
1answer
43 views

How to prove equivalence of definitions for matrix similarity

It seems the most usual way to define matrix similarity is as follows: "Let $A$ and $A'$ be two n-by-n matrices, we say they are similar if there exist some invertible n-by-n matrix $P$ such that $A=...
0
votes
0answers
34 views

Symplectic matrix over $\mathbf{H}$ has determinant $1$ as well?

According to this question, symplectic matrices over $\mathbf{R}$ have determinant $1$. Does the equivalence carry over if we go back to the quaternion definition for $Sp(n)$? In the original ...
0
votes
1answer
42 views

Definition confirmation: cover of a subset

In lectures we defined: Let $X$ be a topological space, $Y \subset X$ a subset. A collection $\mathcal{A} \subset \mathcal{P}(X)$ is a cover of $Y$ by sets open in X if each element of $\mathcal{A}...
2
votes
2answers
36 views

Definitional question: difference between a correspondence and a function

Is there a difference between a correspondence and a function? For example, in game theory I am told that for a given strategy set, $\Sigma_i$, the best response given by $BR_i(\sigma_{-i})=\text{...
0
votes
1answer
25 views

basic understanding of hereditary property in matroid

I'm trying to prove something is a matroid and to do that I must understand what a matroid is. I don't get the hereditary property. A matroid is an ordered pair $(S, I)$. I is a non-empty family ...
0
votes
2answers
28 views

Can someone make clear the concept of a “restricted metric”

I never understood this concept of restricted metric. Consider the following theorem. http://www.math.psu.edu/wysocki/M403/Notes403_4.pdf I don't quite understand this concept since under usual ...
1
vote
1answer
49 views

Why are “the” morphisms of the category of topological spaces continuous maps?

On the Wikipedia page for "morphism (category theory)" it says that: In the category of topological spaces, morphisms are continuous functions and isomorphisms are called homeomorphisms. In what ...
1
vote
0answers
39 views

Meaning of “Form” in mathematics

There are a number of occasions in the mathematics where the word "form" is used: Modular form Bilinear form Quadratic form ... It seems that form is a special kind of function. But I cannot ...
0
votes
1answer
31 views

Definition of a recursive ordinal

I'm having trouble understanding the definition of reclusive or computable ordinal - Wikipedia defines it as follows: "...an ordinal $\alpha$ is said to be recursive if there is a recursive well-...
2
votes
3answers
173 views

Precise definition of free group

I have seen the definition of a free group go like this: Let $S = \{s_i : i\in \mathbb{N} \}$ be a countable set. Let $S^{-1}$ be the set $\{s_i^{-1}: i\in \mathbb{N}\}$. Here one is to understand ...
1
vote
3answers
85 views

Is there a theoretical (or practical) definition of $n$-gon, for $n < 0$?

Background This is purely a "sate my curiosity" type question. I was thinking of building a piece of software for calculating missing properties of 2D geometric shapes given certain other properties,...
4
votes
1answer
49 views

Why do we need the condition “cocommutative” in the definition of a coPoisson Hopf algebra?

In this paper, page 5, Section 3.6, in the definition of a coPoisson Hopf algebra $H$, it is said that: a coPoisson Hopf algebra is a cocommutative Hopf algebra $A$ with a map $\delta: A \to A \otimes ...
0
votes
2answers
53 views

Mutually exclusive/independent events

I am having some conflicts with the basic definitions of mutually exclusive and independent event. I can't seem to understand the difference(or relation) between the two. Here's a statement from my ...
2
votes
1answer
56 views

What has a chain homotopy to do with homotopy?

I'm in an intro algebraic topology class. In the textbook Algebraic Topology (Hatcher), a chain homotopy is defined by saying that a map $P$ is a chain homotopy between two maps $f$ and $g$ if $dP + ...
0
votes
1answer
22 views

Clarification about the definition for polynomial discriminant?

On the wikipedia page about polynomial discriminants, it shows this definition: $$\Delta = a_n^{2n-2}\prod_{i<j}(r_i-r_j)^2$$ What I'm getting from this is that $\Delta$ is obviously the ...
2
votes
1answer
56 views

Definition of absolute value of complex number

The definition I see everywhere for the absolute value of a complex number is: Let $z=x+iy$ then $|z| := \sqrt{x^2+y^2}$. But the square root operation is multivalued in complex analysis. So while ...
1
vote
1answer
36 views

T/F: pointwise equicontinuous $\Leftrightarrow$ all $f_n$ continuous, uniform equicontinuous $\Leftrightarrow$ all $f_n$ uniformly continuous

Is it true that: Given a sequence of functions $(f_n)$ on a set not necessarily compact pointwise equicontinuity $\Leftrightarrow$ all $f_n$ are continuous and, uniform ...
1
vote
0answers
22 views

Ideal Sheaf: Making sure I got it right

I want to know if I unwrapped the definition of ideal sheaves correctly. Let $\mathscr{O}$ be a sheaf of rings on topological space $X$. The definition of an ideal sheaf is as follows: The ideal ...
0
votes
2answers
32 views

What is the meaning of the locus of points P satisfying some conditions?

A rod AB of length 15 cm rests in between two coordinate axes in such a way that the end point A lies on x axis and end point B lies on y axis. A point P(x,y) is taken on the rod in such a way that AP ...
1
vote
2answers
73 views

$\Delta$-complex structure on the singular complex $S(X)$

I am confused with the definition of $S(X)$ so that I can't see why $S(X)$ is a $\Delta$-complex. Here are some material by Allen Hatcher. Though singular homology looks so much more general ...
0
votes
0answers
31 views

Vector sort operator

I was wondering whether there exists a definition of the sort operator for vector, i.e., the operator that given a vector of $\mathbb{R}^n$ yields a vector of $\mathbb{R}^n$ whose components are ...
2
votes
1answer
80 views

Meaning of $[\mathbb K : \mathbb Q]$

What is the meaning of $[\mathbb K : \mathbb Q]$ where $\mathbb K$ and $\mathbb Q$ are fields. This is galois theory, abstract algebra. What does this actually mean?
2
votes
2answers
44 views

Definition of uniformly cauchy

In this post, the definition of uniformly Cauchy is defined as: Uniformly cauchy sequences A sequence of functions $f_n$ is said to be uniformly cauchy if $$\forall \varepsilon > 0 \ \exists ...
1
vote
1answer
46 views

Polyhedra vs Polytope

I am having a hard time understanding what is the main difference between a polyhedron and a polytope. Could anyone explain me what is the difference between these two structures?
2
votes
3answers
54 views

Intuition behind the definition of a surface

From the book Elementary Differential Geometry by Andrew Pressley, this is the definition of a surface: A subset $S$ of $\mathbb{R^3}$ is a surface if, for every point $p \in S$, there is an open ...
1
vote
1answer
27 views

Understanding the vector space $\bigoplus_{i\in I} F$

Let $F$ be a field and define for any set $I$ the vector space $F^I = \{f \colon I \to F \}$ with addition $(f+g)(i) = f(i) + f(i)$ and rescaling $(\alpha f)(i) = \alpha f(i), \forall f,g\in F^I, \...
1
vote
2answers
24 views

What does bounded in module mean?

I'm trying to understand Liouville's theorem and in the book I'm reading it's stated as Let $f$ be a holomorphic function on the complex plane, which is bounded in module in a neighborhood of infinity ...
1
vote
4answers
71 views

Why is this first-order ODE considered non-linear?

Consider the following equation: $$y'=\sin y.$$ What causes this equation to be considered non-linear? $y'$ is not multiplied by a power, and neither is $\sin y$.
3
votes
1answer
34 views

Why are matrix norms defined the way they are?

Given $A$ a square matrix Define: $\|A\|_1$ as the max absolute column sum $\|A\|_2$ as the sum of the squares of each element $\|A\|_\infty$ as the max absolute row sum Pray tell, why are ...
2
votes
0answers
67 views

Contribution of a loop to the degree of a vertex in a graph

Prehistory I've recently started learning graph theory in my institute (as a part of discrete mathematics course). During a lecture the professor had given a definition for a local degree of a vertex ...
5
votes
1answer
129 views

What does “dual statement” mean exactly in category theory?

I have long been confused about this notion. I know that for a statement within a single category, forming the dual statement is just reversing every arrows. But what about a statement concerning ...
2
votes
3answers
67 views

Defining Surjection as an Implication

Is the following logical notation valid in describing the condition for a function $f$ being surjective? If $f: A \rightarrow B$ is a function, then $f$ is surjective if $$\forall y, \exists x \in A \...