Difference between revisions of "Index of notation"
m |
m |
||
Line 58: | Line 58: | ||
The unit interval will be assumed when missing | The unit interval will be assumed when missing | ||
|- | |- | ||
− | | <math> | + | | <math>D_a(A)</math><br/>Common: <math>D_a(\mathbb{R}^n)</math> |
| | | | ||
* Differential Geometry | * Differential Geometry | ||
* Manifolds | * Manifolds | ||
− | | Denotes [[Set of all derivations at a point]] - | + | | Denotes [[Set of all derivations at a point]] - Not to be confused with [[Set of all derivations of a germ]] which is denoted {{M|\mathcal{D}_p(A)}}<br/> |
+ | '''Note:''' This is my/Alec's notation for it, as the author<ref>John M Lee - Introduction to smooth manifolds - Second edition</ref> uses {{M|T_p(A)}} - which looks like [[Tangent space]] - the letter T is too misleading to allow this, and a lot of other books use T for [[Tangent space]] | ||
+ | |- | ||
+ | | <math>\mathcal{D}_a(A)</math><br/>Common: <math>\mathcal{D}_a(\mathbb{R}^n)</math> | ||
+ | | | ||
+ | * Differential Geometry | ||
+ | * Manifolds | ||
+ | | Denotes [[Set of all derivations of a germ]] - Not to be confused with [[Set of all derivations at a point]] which is sometimes denoted {{M|T_p(A)}} | ||
|- | |- | ||
| <math>\bigudot_i A_i</math> | | <math>\bigudot_i A_i</math> | ||
| | | | ||
+ | * Measure Theory | ||
| Makes it explicit that the items in the union (the <math>A_i</math>) are pairwise disjoint, that is for any two their intersection is empty | | Makes it explicit that the items in the union (the <math>A_i</math>) are pairwise disjoint, that is for any two their intersection is empty | ||
|- | |- | ||
Line 84: | Line 92: | ||
| Same as <math>\mathcal{L}^p</math> | | Same as <math>\mathcal{L}^p</math> | ||
|- | |- | ||
− | | <math>T_p(\mathbb{R}^n)</math> | + | | <math>T_p(A)</math><br/>Common:<math>T_p(\mathbb{R}^n)</math> |
| | | | ||
* Differential Geometry | * Differential Geometry | ||
* Manifolds | * Manifolds | ||
| The [[Tangent space|tangent space]] at a point {{M|a}}<br /> | | The [[Tangent space|tangent space]] at a point {{M|a}}<br /> | ||
− | Sometimes denoted {{M|\mathbb{R}^n_a}} - '''Note:''' sometimes can mean [[Set of all derivations at a point]] which is | + | Sometimes denoted {{M|\mathbb{R}^n_a}} - '''Note:''' sometimes can mean [[Set of all derivations at a point]] which is denoted {{M|D_a(\mathbb{R}^n)}} and not to be confused with <math>\mathcal{D}_a(\mathbb{R}^n)</math> which denotes [[Set of all derivations of germs]] |
|} | |} | ||
Revision as of 02:55, 5 April 2015
Ordered symbols are notations which are (likely) to appear as they are given here, for example C([a,b],R) denotes the continuous function on the interval [a,b] that map to R - this is unlikely to be given any other way because "C" is for continuous.
Ordered symbols
These are ordered by symbols, and then by LaTeX names secondly, for example A comes before A comes before A
Expression | Context | Details |
---|---|---|
∥⋅∥ |
|
Denotes the Norm of a vector |
∥f∥Ck |
|
This Norm is defined by ∥f∥Ck=k∑i=0supt∈[0,1](|f(i)(t)|) - note f(i) is the ith derivative. |
∥f∥Lp |
|
∥f∥Lp=(∫10|f(t)|pdt)1p - it is a Norm on C([0,1],R) |
∥f∥∞ |
|
It is a norm on C([a,b],R), given by ∥f∥∞=supx∈[a,b](|f(x)|) |
C∞ |
|
That a function has continuous (partial) derivatives of all orders, it is a generalisation of Ck functions |
Ck [at p] |
|
A function is said to be Ck [at p] if all (partial) derivatives of all orders exist and are continuous [at p] |
C∞p |
|
C∞p(A) denotes the set of all germs of C∞ functions on A at p |
Ck([a,b],R) |
|
It is the set of all functions :[a,b]→R that are continuous and have continuous derivatives up to (and including) order k The unit interval will be assumed when missing |
Da(A) Common: Da(Rn) |
|
Denotes Set of all derivations at a point - Not to be confused with Set of all derivations of a germ which is denoted Dp(A) Note: This is my/Alec's notation for it, as the author[1] uses Tp(A) - which looks like Tangent space - the letter T is too misleading to allow this, and a lot of other books use T for Tangent space |
Da(A) Common: Da(Rn) |
|
Denotes Set of all derivations of a germ - Not to be confused with Set of all derivations at a point which is sometimes denoted Tp(A) |
⋃⋅iAi |
|
Makes it explicit that the items in the union (the Ai) are pairwise disjoint, that is for any two their intersection is empty |
ℓp(F) |
|
The set of all bounded sequences, that is ℓp(F)={(x1,x2,...)|xi∈F, ∞∑i=1|xi|p<∞} |
Lp |
|
Lp(μ)={u:X→R|u∈M, ∫|u|pdμ<∞}, p∈[1,∞)⊂R (X,A,μ) is a measure space. The class of all measurable functions for which |f|p is integrable |
Lp |
|
Same as Lp |
Tp(A) Common:Tp(Rn) |
|
The tangent space at a point a Sometimes denoted Rna - Note: sometimes can mean Set of all derivations at a point which is denoted Da(Rn) and not to be confused with Da(Rn) which denotes Set of all derivations of germs |
Unordered symbols
Expression | Context | Details |
---|---|---|
A/B-measurable |
|
There exists a Measurable map between the σ-algebras |
a⋅b |
|
Vector dot product |
- Jump up ↑ John M Lee - Introduction to smooth manifolds - Second edition