Undergrad Differential for Real Valued Functions of Several Variables

Click For Summary
The discussion revolves around a query regarding Example 3 from Shmuel Kantorovitz's "Several Real Variables," specifically about the definition of the function at zero and the calculation of the differential. The user questions how the value of |φ₀(h)| is derived when f(0) appears to be undefined. It is clarified that the author actually defines the function to be zero at zero, resolving the confusion. This acknowledgment leads to a better understanding of the example and its implications for the differential. The exchange highlights the importance of carefully reading definitions in mathematical texts.
Math Amateur
Gold Member
MHB
Messages
3,920
Reaction score
48
I am reading the book "Several Real Variables" by Shmuel Kantorovitz ... ...

I am currently focused on Chapter 2: Derivation ... ...

I need help with an aspect of Kantorovitz's Example 3 on pages 65-66 ...

Kantorovitz's Example 3 on pages 65-66 reads as follows:
Kantorovitz - 1 - Example 3 ...  Page 65 ... PART 1 ... .png

Kantorovitz - 2 - Example 3 ...  Page 65 ... PART 2 ... .png

In the above example, we read the following:"... ... ##\frac{ \mid \phi_0 (h) \mid }{ \| h \| } = \frac{ \mid h_1 \text{ sin } (h_2 h_3) \mid }{ \| h \|^{ a + 1 } }## ... ... ... "
My question is as follows:In the Section on The Differential (see scanned text below) ...

Kantorovitz defines ##\phi_x(h)## as follows:

##\phi_x(h) := f(x +h) - f(x) - Lh##

so that

##\phi_0(h) := f(0 +h) - f(0 ) - Lh = f(h) - f(0)## ...... BUT in the Example ... as I understand it ... ##f(0)## does not exist for the function in Example 3 ...? ...

... BUT ... Kantorovitz effectively gives ##\mid \phi_0 (h) \mid = \frac{ \mid h_1 \text{ sin } (h_2 h_3) \mid }{ \| h \| }##
Can someone please explain how Kantorovitz gets this value for ##\mid \phi_0 (h) \mid## when ##f(0)## does not exist?Help will be much appreciated ...

Peter==============================================================================

***NOTE***

Readers of the above post may be helped by having access to Kantorovitz' Section on "The Differential" ... so I am providing the same ... as follows:
Kantorovitz - 1 - Sectiion on the DIfferential ... PART 1 ... .png

Kantorovitz - 2 - Sectiion on the DIfferential ... PART 2 ... .png

Kantorovitz - 3 - Sectiion on the DIfferential ... PART 3 ... .png


Hope that helps in understanding the post ...

Peter
 

Attachments

  • Kantorovitz - 1 - Example 3 ...  Page 65 ... PART 1 ... .png
    Kantorovitz - 1 - Example 3 ... Page 65 ... PART 1 ... .png
    15.3 KB · Views: 871
  • Kantorovitz - 2 - Example 3 ...  Page 65 ... PART 2 ... .png
    Kantorovitz - 2 - Example 3 ... Page 65 ... PART 2 ... .png
    17.1 KB · Views: 454
  • Kantorovitz - 1 - Sectiion on the DIfferential ... PART 1 ... .png
    Kantorovitz - 1 - Sectiion on the DIfferential ... PART 1 ... .png
    27.4 KB · Views: 463
  • Kantorovitz - 2 - Sectiion on the DIfferential ... PART 2 ... .png
    Kantorovitz - 2 - Sectiion on the DIfferential ... PART 2 ... .png
    34.9 KB · Views: 458
  • Kantorovitz - 3 - Sectiion on the DIfferential ... PART 3 ... .png
    Kantorovitz - 3 - Sectiion on the DIfferential ... PART 3 ... .png
    13.2 KB · Views: 372
Physics news on Phys.org
I've just noticed that the author defines the function to be zero at zero!

:frown: ... careless of me to miss that!

My apologies ...

Peter
 
We all know the definition of n-dimensional topological manifold uses open sets and homeomorphisms onto the image as open set in ##\mathbb R^n##. It should be possible to reformulate the definition of n-dimensional topological manifold using closed sets on the manifold's topology and on ##\mathbb R^n## ? I'm positive for this. Perhaps the definition of smooth manifold would be problematic, though.

Similar threads

Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
3
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
Replies
3
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K