Difference between revisions of "Index of notation"

From Maths
Jump to: navigation, search
m
m
Line 58: Line 58:
 
The unit interval will be assumed when missing
 
The unit interval will be assumed when missing
 
|-
 
|-
| <math>\mathcal{D}_a(\mathbb{R}^n)</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]] - sometimes denoted {{M|T_a(\mathbb{R}^n)}} (and such authors will denote the tangent space as {{M|\mathbb{R}^n_a}})
+
| 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 often denoted {{M|\mathcal{D}_a(\mathbb{R}^n)}}
+
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
  • Functional Analysis
  • Real Analysis
Denotes the Norm of a vector
fCk
  • Functional Analysis
This Norm is defined by fCk=ki=0supt[0,1](|f(i)(t)|) - note f(i) is the ith derivative.
fLp
  • Functional Analysis
fLp=(10|f(t)|pdt)1p - it is a Norm on C([0,1],R)
f
  • Functional Analysis
  • Real Analysis
It is a norm on C([a,b],R), given by f=supx[a,b](|f(x)|)
C
  • Differential Geometry
  • Manifolds
That a function has continuous (partial) derivatives of all orders, it is a generalisation of Ck functions
Ck [at p]
  • Differential Geometry
  • Manifolds
A function is said to be Ck [at p] if all (partial) derivatives of all orders exist and are continuous [at p]
Cp
  • Differential Geometry
  • Manifolds
Cp(A) denotes the set of all germs of C functions on A at p

The set of all germs of smooth functions at a point

Ck([a,b],R)
  • Functional Analysis
  • Real Analysis
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)
  • Differential Geometry
  • Manifolds
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)
  • 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 Tp(A)
iAi
  • Measure Theory
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)
  • Functional Analysis
The set of all bounded sequences, that is p(F)={(x1,x2,...)|xiF, i=1|xi|p<}
Lp
  • Measure Theory
Lp(μ)={u:XR|uM, |u|pdμ<}, p[1,)R

(X,A,μ) is a measure space. The class of all measurable functions for which |f|p is integrable

Lp
  • Measure Theory
Same as Lp
Tp(A)
Common:Tp(Rn)
  • Differential Geometry
  • Manifolds
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
  • Measure Theory
There exists a Measurable map between the σ-algebras
ab
  • Anything with vectors
Vector dot product
  1. Jump up John M Lee - Introduction to smooth manifolds - Second edition