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

learn more… | top users | synonyms

0
votes
1answer
43 views

Definition of Random Sample in Estimation

In my statistics class, we're just beginning to talk about (point) estimation. I understand the basics for the most part, but I have a small question that might actually be due more to notation than ...
4
votes
1answer
2k views

Recurrence vs Recursive

Say team 1 is studying the recursive characteristics of a function. Team 2 is studying the recurrent characteristics of the same function. Are the 2 teams studying the same thing? I have found for ...
0
votes
1answer
40 views

Under what assumptions can one compute conditional probability as $p(x)/p(y)$?

Conditional probability is often introduced in the following way: Consider a normal, fair 6-sided die. If you toss it then the probability $p(x=2)=1/6$. Now given that we already observed that the ...
1
vote
1answer
79 views

What do you call a set of numbers with the property that each subset sum is unique?

I require a set of numerical elements on which the sum of some of these elements is unique to the set, that it's to say, no other combination in the sum of elements will result the same outcome. ...
3
votes
2answers
64 views

Definition of neighborhood

I am starting to work through Rudin's Principles of Mathematical Analysis. For $(X, d)$ a metric space and $x \in X$, Rudin defines the neighborhood $N_r(x)$ of $x$ to be the set consisting of all ...
-1
votes
2answers
106 views

Can't understand some definitions of abstract algebra, can you help me please?

I was reading different definitions of vector space but still I have some dark places without meaning... I can't understand exactly what type of relation is defined between the vector space and the ...
1
vote
1answer
184 views

Definition of strong tangent.

Let $\alpha:I\rightarrow \mathbb{R}^3$ a parametrized curve. What is the definition of strong (weak) tangent of $\alpha$ at the point $t_0$? Thanks!
1
vote
2answers
87 views

About the definition of homology

can someone explaine me this definition of Homology: "The homology groups of $X$ measure "how-far" the chain complex associated to $X$ is from being exact." I know that homology measure the number ...
0
votes
1answer
46 views

Is $\sum c_n z^n$ analytic when $c_n$ is Banach-valued?

I'm trying to define "Analytic function". I want a definition that covers all interesting cases. To be specific, let me explain what exactly I want Here is the definition of analytic function in ...
6
votes
1answer
167 views

What is the correct statement of the infinitary associativity law?

Let $X$ denote a non-empty set. Write $\mathcal{L}$ for the class of all ordered pairs $(L,f)$ where: $L$ is a linear poset (possibly empty), and $f$ is an arbitrary function $L \rightarrow X.$ ...
1
vote
1answer
40 views

Problem on function definition

I'm trying to solve this problem about functions: "Explain why $x^2-4=0$ is not a real function of real variable." I have yet solved many similar problems, but now i have a doubt; is my solution ...
3
votes
2answers
126 views

On the meaning of “Class of finite groups”.

What do we mean precisely when we speak about a class of finite groups? Is this simply a collection of some finite groups, maybe collected with a criterion (example: the class of all finite cyclic ...
0
votes
0answers
55 views

What's the definition of $C_0(\Omega)$?

Here is a definition of $C_0(\Omega)$ in wikipedia: (http://en.m.wikipedia.org/wiki/Vanish_at_infinity) Let $(X,\tau)$ be a locally compact space. Let's call "a function $f:X\rightarrow \...
1
vote
1answer
163 views

What is the formal definition of polynomial ring of several variables?

Let's consider a polynomial ring of single variable. One can define them informally by saying $P(X)=\sum_{i=1}^n a_n X^n$ while $X$ is an indeterminate variable. However, since mathematics is based ...
3
votes
0answers
128 views

What is the difference between $\propto$ and $\sim$

Suppose I have two physical quantities, lets name them $a$ and $b$. I wonder what the difference exactly is between $$a\propto b,\tag{1}$$ and $$a \sim b.\tag{2}$$ I know for eq. 1, that it means $...
0
votes
1answer
55 views

Categorising types of Mathematics

What area of Math do the following fall under? 1) Systems of ODEs and Phase planes 2) Laplace Transforms 3) Fourier series 4) PDEs with grad, div, curl, flux
2
votes
1answer
84 views

definition of half-integral weight modular forms

i start reading about modular forms of half-integral weight $k/2$ for $\Gamma' \subset \Gamma_0(4)$. As far as i understand these are holomorphic functions $f\colon \mathbb{H} \rightarrow \mathbb{C}$ ...
4
votes
2answers
417 views

defining smooth functions on manifolds *without* smooth chart transitions

Let $M$ be a topological manifold, covered by an atlas of charts ${(U,\phi_U)}$ (which are homeomorphisms into Euclidean space), and let $p\in M$. Say a function $f:M\to\mathbb{R}$ is smooth at $p$ if ...
2
votes
1answer
45 views

Definition of a certain matrix

I remember I came across matrix of the form $$\begin{bmatrix} 1 & 0 & 0 & 0\\ 1 & 1 & 0 & 0\\ 0 & 1 & 1 & 0\\ 0 & 0 & 1 & 1\\ \end{bmatrix}$$ There ...
2
votes
0answers
66 views

Loss of derivatives

In many books on pdes the expression "loss of derivatives" is used when some estimates on solution are proved. Can someone clarify to me (maybe with an example) the meaning of this expression? For ...
2
votes
2answers
143 views

What actually constitutes a *definition* for a function?

I'm reading Enderton's text on logic trying to justify ( to myself ) the use of induction on recursively defined sets. This is of course used repeatedly in trying to prove results about well-formed ...
0
votes
2answers
77 views

Compactness: Opens vs. Neighborhoods

Disclaimer: This thread is a record of thoughts. Discussion Given a compact set. Do mere neighborhood covers admit finite subcovers? $$C\subseteq\bigcup_{i\in I}N_i\implies C\subseteq N_1\cup\...
4
votes
0answers
107 views

What does it mean to categorify something?

What does it mean to categorify something? Is there any simple illustrative example of this process? How it is done and what is it useful for? Here is where I heard it first: "Khovanov homology is ...
4
votes
2answers
148 views

Why is there a 'missing' $1$ in the Euler–Mascheroni constant?

It is easy to show that: $$ \sum_{k=1}^n \frac{1}{k} > \ln(n+1), $$ but the Euler–Mascheroni constant is defined as: $$ \gamma = \lim_{n \to \infty} \left( \sum_{k=1}^n \frac{1}{k} - \ln(n) \right)...
1
vote
2answers
72 views

Measures: Sigma-Additivity

Disclaimer: Though this thread is written in a Q&A style any new thoughts are really welcome! What reasons are there to restrict measures to countable additivity rather than uncountable ...
0
votes
1answer
91 views

polynomials and minimality

Could someone explain the concept of minimal polynomials? It seems like these are polynomials which cant be reduced further, but at the same time I am confused cause when we consider $\mathbb Z_2[x]$ ...
0
votes
1answer
49 views

Definition of quotient category

Is there any reason why only gluing of morphisms sharing domain and codomain is usually allowed in the definition of quotient category?
1
vote
1answer
72 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 ...
7
votes
3answers
411 views

Can only one ordered pair be a relation?

I'm sorry, but I really can't find an answer to this no matter how deep I dig. A relation is defined as any set of ordered pairs. But what about a set of only one ordered pair? Is it still a ...
0
votes
0answers
69 views

Fountain code and online code

Are fountain code and online code the same? It seems to me they have the same property, which is used in lossy channel and generate unlimited encoded block. If they are the same, then what encoding ...
3
votes
0answers
90 views

What is the desirable function identification when setting up arrows in the category of types?

My question is which functions can not be allowed in a statically typed programming language, so that the "canonical" category is less coarse than what you get if you define it's arrows to be ...
3
votes
3answers
176 views

Has the opposite category exactly the same morphisms as the original?

This is actually a question about categories; not only about the category that I mention here specifically. I only use category $\mathsf{Rel}$ as an example. How to describe a morphism that ...
5
votes
2answers
47 views

What is a transformation?

I am not a native English speaker and I have been pointed out that the word "transformation" as a synonym of "function" is grammatically incorrect. However, I even found a wikipedia and a mathworld ...
1
vote
0answers
50 views

Definition - Logarithmic Zeros and Algebraic Vector Fields

In Algebraic Geometry, what is the difference between an algebraic vector field and a derivation (are they completely different or synonymous)? What does it mean to say an algebraic vector field has ...
0
votes
1answer
312 views

Maximal rank definition?

What would it be to say that a linear map $T:\mathbb R^{m+n}\longrightarrow \mathbb R^n$ has maximal rank? I'd like a precise definition of it, I skimmed several linear algebra books after the ...
4
votes
2answers
193 views

Why we can't define $\frac{1}{0}$ to be $1$ (or anything else), but we can define $1^0$ to be $1$?

We know that we can't define division by zero "in any mathematical system that obeys the axioms of a field", because it would be inconsistent with such axioms. (1) Why can we define $a^0$ ($a\neq 0$) ...
1
vote
1answer
122 views

Definition of a parallelizable manifold

My text that I am self studying from says that a manifold $M$ is parallelizable if it has a trivial tangent bundle which means that there is an isomorphism $\varphi:M\times \mathbb{R}^n\rightarrow TM$....
0
votes
1answer
78 views

Help in this equivalence in Fulton's book

I'm studying Fulton's algebraic curves book and some of its notation look like confusing. I need help to understand this equivalence in the page 35. The preceding paragraph he mentioned I put ...
5
votes
4answers
91 views

Question on definitions

I was going through some basic recap of complex numbers and in the book (M. Boas. Mathematical Methods in the Physical Sciences) she says we define $e^{ix}$ by the Taylor series with $x$ replaced by $...
3
votes
1answer
439 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
40 views

Definitions of hemicontinuity

can anyone see the equivalence or relation between the following two definitions of hemicontinuity that I encountered: Assume that $K$ is a closed, convex subset of Banach space $X$. Let $X^{*}$ be ...
2
votes
2answers
184 views

$361$ degrees: acute or obtuse?

Recently I encounter a problem (of trigonometry) where $\sin{x}$ was asked and it was also told that $x$ is acute. So, I like anyone else, found the general solution, however my general solution ...
1
vote
1answer
75 views

What is the definition of Lindelöf space?

My definition for "countable set" is a set with the cardinal $\aleph_0$ and "at most countable set" is a set $A$ such that $|A|≦\aleph_0$. Till now, my definition for Lindelöf space is a topological ...
2
votes
1answer
95 views

A better definition of Polynomial

Usually, we define a polynomial as $a_n x^n + \cdots + a_1 x + a_0$ where $x$ is called indeterminate. Would it be better to define it as $a_n x^n + \cdots + a_1 x + a_0 x^0$ where $x^0$ means ...
2
votes
2answers
52 views

Characterizing a circle.

Is it correct to characterize a circle by saying that it is a closed curve in $\mathbb{R}^2$ such that all points on the curve are equidistant from a single fixed point? I am familiar with shapes ...
2
votes
0answers
99 views

Path-independent contour integrals and how to define them

If a contour $C$ is parameterized by $z(t): [a, b] \to \mathbb{C}$, then we define $$ \int_C f(z) \, dz= \int_a^b f(z(t)) \, z'(t) \, dt.$$ If the contour integral on the left side is equal to some ...
1
vote
5answers
285 views

What is the reason to introduce and study logarithmic functions?

I don't understand why logarithms exist when we have exponential functions. Exponential functions seem to be an easier and less convoluted way to write something. Why invent logarithms to do something ...
0
votes
0answers
83 views

Confused by definition of an open set in “All the Mathematics You Missed”

On page 66 of Thomas Garrity's "All the Mathematics You Missed", Garrity gives the following definition of an open set in $\mathbb{R}^n$: A set $U$ in $\mathbb{R}^n$ will be open if given any $a \...
2
votes
1answer
91 views

Do those 'groups' have a name?

Is there a name for 'groups' that only have a neutral element on the right and an inverse for each element on the right ? If there is, does that name also hold for a neutral elt on the right and an ...
4
votes
1answer
75 views

what are and why are sine and cosine modulated integrals used?

I have found the definition of the following formulas in a paper regarding active vibration control, where they are called sine and cosine modulated integrals. $y$ is measurement signal with a strong ...