Notes:Differential notation and terminology

From Maths
Revision as of 09:56, 11 November 2016 by Alec (Talk | contribs) (Created page with "==Sources== There are two sources used: # This{{rAOMJRM}} and # This{{rCOMS}} ==Work required== # Find out what differential is # Get Munkres' story # Get{{rAPIKM}}'s view ==D...")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Sources

There are two sources used:

  1. This[1] and
  2. This[2]

Work required

  1. Find out what differential is
  2. Get Munkres' story
  3. Get[3]'s view

Definitions

Here [ilmath]f:\mathbb{R}^n\rightarrow\mathbb{R}^m[/ilmath] is a function, and [ilmath]a\in\mathbb{R}^n[/ilmath] is any point.

[ilmath]f[/ilmath] differentiable at [ilmath]a[/ilmath]

Also called: derivative of [ilmath]f[/ilmath] at [ilmath]a[/ilmath] - differential is not mentioned

[ilmath]f[/ilmath] is differentiable at [ilmath]a[/ilmath] if there is a linear map [ilmath]\lambda:\mathbb{R}^n\rightarrow\mathbb{R}^m[/ilmath] such that[2]:

  • [math]\lim_{h\rightarrow 0}\left(\frac{\Vert f(a+h)-f(a)-\lambda(h)\Vert}{\Vert h\Vert}\right)=0[/math]
    • Notice that no direction of [ilmath]h\rightarrow 0[/ilmath] is given. So presumably for all paths tending towards zero, I wonder if there is a way to use sequences here.
    • The [ilmath]h\rightarrow 0[/ilmath] bit coupled with the use of norms suggests we might be able to use balls centred at zero for [ilmath]h[/ilmath], then look at the limit of those getting smaller
    • The norms are on [ilmath]\mathbb{R}^m[/ilmath] for the numerator and [ilmath]\mathbb{R}^n[/ilmath] for the denominator, and these need not be the usual norms (source - prior reading)

Claims:

  1. If [ilmath]f[/ilmath] is differentiable at [ilmath]a[/ilmath] then the linear transformation, [ilmath]\lambda:\mathbb{R}^n\rightarrow\mathbb{R}^m[/ilmath] is unique

Proposed terminology and notation

    1. [ilmath]df\vert_a[/ilmath] for the derivative of [ilmath]f[/ilmath] at [ilmath]a[/ilmath]
    2. [ilmath]d(g\circ f)\big\vert_a\eq dg\big\vert_{f(a)}\circ df\big\vert_a[/ilmath] - the chain rule. Note: [ilmath]dg\circ f\big\vert_a[/ilmath] would do but brackets make it easier to read

Terminology and notation

  • Spivak:
    1. Differentiable at [ilmath]a[/ilmath] if has derivative
    2. [ilmath]Df(a)[/ilmath] for the derivative of [ilmath]f[/ilmath] at [ilmath]a[/ilmath]
    3. [ilmath]D(g\circ f)(a)\eq D(g(f(a))\circ Df(a)[/ilmath] - Chain rule

References

  1. Analysis on Manifolds - James R. Munkres
  2. 2.0 2.1 Calculus on Manifolds - Spivak
  3. Analysis - Part 1: Elements - Krzysztof Maurin