Difference between revisions of "Index of spaces"

From Maths
Jump to: navigation, search
(Created page with "{| class="wikitable" border="1" |- ! Index ! Space ! Context ! Meaning |- ! L2 | {{M|l_2}} | * Functional Analysis | Space of square-summable sequences |} Category:Ind...")
 
m
 
(One intermediate revision by the same user not shown)
Line 1: Line 1:
 +
==Using the index==
 +
People might use {{M|i}} or {{M|j}} or even {{M|k}} for indicies, as such "numbers" are indexed as "num" (notice the lower-case) so a space like {{M|C^k}} is under {{C|C_num}}.
 +
 +
We do subscripts first, so {{M|A_i^2}} would be under {{C|A _num ^num:2}}
 +
 +
When breaking up a term into its index key, spaces delimit the blocks, for example {{M|L_1^2}} becomes {{C|L _num:1 ^num:2}} (the subscript comes first, we sort by subscript, then by superscript)
 +
 +
{{C|+}} is used to extend the index keys, for example {{M|C_{1,2} }} would become {{C|C _num:1+num:2}} and the {{C|+}}s are ordered lexicographically.
 +
 +
If there are multiple variable numbers (for example the {{M|i}} and {{M|j}} in {{M|B_i^j}}) we use {{C|num}} for each of them. Even if they're the same (eg both {{M|i}}s or something) - while not ideal the index should be small enough (when you've got a leading letter) that you do not need any further granularity.
 +
 +
{{C|*}} denotes objects, so for example say in {{M|L(X,Y)}} (where {{M|X}} and {{M|Y}} are objects (vector spaces, or Banach spaces... ) we use the key {{C|obj}} for these. So {{M|L(X,Y)}} becomes {{C|L ( obj obj )}}
 +
===Ordering===
 +
# First come actual numbers.
 +
# Next come {{C|num}} terms.
 +
# Then come {{C|infty}} (which denotes {{M|\infty}}
 +
# Then comes objects
 +
# Then come letters (upper case - shown as non-italic uppercase in the index)
 +
# Then come letters (lower-case - shown as capital italics in the index)
 +
# Then come special lowercase letters (shown as capital italics again in the index, with a {{C|!}} prefixing the name.
 +
# Then come brackets {{C|(}} first, then {{C|[}} then {{C|{}}
 +
# Then comes subscript, then comes superscript.
 +
 +
For example {{M|C_0}} comes before {{M|C_i}} comes before {{M|C_\infty}} comes before {{M|C_\text{text} }}.
 +
 +
The space {{M|\ell_2}} is {{C|!''L'' _num:2}}, and {{M|l_2}} is {{C|''L'' _num:2}} which comes before {{M|\ell_2}}
 +
 +
==Index==
 
{| class="wikitable" border="1"
 
{| class="wikitable" border="1"
 
|-
 
|-
 +
! Space or name
 
! Index
 
! Index
−
! Space
+
! Type
 +
! Argument types
 
! Context
 
! Context
 
! Meaning
 
! Meaning
 
|-
 
|-
−
! L2
+
| {{M|C_k\text{ on }U}}
 +
! {{nowrap|C _num ON obj}}
 +
| Class
 +
| {{M|U}} - open set of {{M|\mathbb{R}^n}}
 +
|
 +
* ''(Everywhere)''
 +
| '''(SEE ''[[Classes of continuously differentiable functions]]'')''' - a function is {{M|C_k}} on {{M|U}} if {{M|U\subset\mathbb{R}^n}} is open and the partial derivatives of {{M|f:U\rightarrow\mathbb{R}^m}} of all orders (up to and including {{M|k}}) are continuous on {{M|U}}
 +
|-
 +
| {{M|C_k(U)}}
 +
! {{nowrap|C _num ( obj )}}
 +
| Class
 +
| {{M|U}} - open set of {{M|\mathbb{R}^n}}
 +
|
 +
* ''(Everywhere)''
 +
| '''(SEE ''[[Classes of continuously differentiable functions]]'')''' - denotes a set, given {{M|U\subseteq\mathbb{R}^n}} (that's open) {{M|f\in C_k(U)}} if {{M|f:U\rightarrow\mathbb{R} }} has continuous partial derivatives of all orders up to and including {{M|k}} on {{M|U}}
 +
|-
 +
| {{M|L(X,Y)}}
 +
! {{nowrap|L ( obj obj )}}
 +
| Normed vector space
 +
| {{M|X}}, {{M|Y}} - normed vector spaces
 +
|
 +
* Analysis
 +
* Functional analysis
 +
* Linear algebra
 +
| It's the [[Space of all continuous linear functions between two normed vector spaces]] and it itself is a normed vector space. {{Warning|I'm not sure if this differs or is universal, there can be discontinuous linear maps between spaces, however another book tells me {{M|\mathcal{L}(V,W)}} denotes all linear maps between {{M|L}} and {{M|W}} - this needs investigation}}
 +
|-
 
| {{M|l_2}}
 
| {{M|l_2}}
 +
! ''L'' _num:2
 +
| inner product space
 +
|
 
|
 
|
 
* Functional Analysis
 
* Functional Analysis

Latest revision as of 21:06, 29 February 2016

Using the index

People might use i or j or even k for indicies, as such "numbers" are indexed as "num" (notice the lower-case) so a space like Ck is under C_num.

We do subscripts first, so A2i would be under A _num ^num:2

When breaking up a term into its index key, spaces delimit the blocks, for example L21 becomes L _num:1 ^num:2 (the subscript comes first, we sort by subscript, then by superscript)

+ is used to extend the index keys, for example C1,2 would become C _num:1+num:2 and the +s are ordered lexicographically.

If there are multiple variable numbers (for example the i and j in Bji) we use num for each of them. Even if they're the same (eg both is or something) - while not ideal the index should be small enough (when you've got a leading letter) that you do not need any further granularity.

* denotes objects, so for example say in L(X,Y) (where X and Y are objects (vector spaces, or Banach spaces... ) we use the key obj for these. So L(X,Y) becomes L ( obj obj )

Ordering

  1. First come actual numbers.
  2. Next come num terms.
  3. Then come infty (which denotes ∞
  4. Then comes objects
  5. Then come letters (upper case - shown as non-italic uppercase in the index)
  6. Then come letters (lower-case - shown as capital italics in the index)
  7. Then come special lowercase letters (shown as capital italics again in the index, with a ! prefixing the name.
  8. Then come brackets ( first, then [ then {
  9. Then comes subscript, then comes superscript.

For example C0 comes before Ci comes before C∞ comes before Ctext.

The space ℓ2 is !L _num:2, and l2 is L _num:2 which comes before ℓ2

Index

Space or name Index Type Argument types Context Meaning
Ck on U C _num ON obj Class U - open set of Rn
  • (Everywhere)
 (SEE Classes of continuously differentiable functions) - a function is Ck on U if U⊂Rn is open and the partial derivatives of f:U→Rm of all orders (up to and including k) are continuous on U
Ck(U) C _num ( obj ) Class U - open set of Rn
  • (Everywhere)
 (SEE Classes of continuously differentiable functions) - denotes a set, given U⊆Rn (that's open) f∈Ck(U) if f:U→R has continuous partial derivatives of all orders up to and including k on U
L(X,Y) L ( obj obj ) Normed vector space X, Y - normed vector spaces
  • Analysis
  • Functional analysis
  • Linear algebra
 It's the Space of all continuous linear functions between two normed vector spaces and it itself is a normed vector space. Warning:I'm not sure if this differs or is universal, there can be discontinuous linear maps between spaces, however another book tells me L(V,W) denotes all linear maps between L and W - this needs investigation
l2 L _num:2 inner product space
  • Functional Analysis
 Space of square-summable sequences
Retrieved from "https://wiki.unifiedmathematics.com/index.php?title=Index_of_spaces&oldid=1882"