- #1

Math Amateur

Gold Member

MHB

- 3,998

- 48

I am reading "Multidimensional Real Analysis I: Differentiation by J. J. Duistermaat and J. A. C. Kolk ...

I am focused on Chapter 1: Continuity ... ...

I need help with an aspect of the proof of Lemma 1.3.3 ...

Duistermaat and Kolk"s proof of Lemma 1.3.3 reads as follows:https://www.physicsforums.com/attachments/7680In the proof of Lemma 1.3.3 we read ...

"... ... The necessity is obvious. ... ... "BUT ... how are we to interpret the concepts of "necessary"and "sufficient"in the context of an "if and only if" or two-way implication statement ...

... Can someone please explain "necessary" and "sufficient" in this context?

------------------------------------------------------------------------------------

***EDIT***

Basically ... as I understand the terms "sufficient" and "necessary" ...

If we have S \Longrightarrow N ... ...

then

N is a necessary condition for S

and

S is a sufficient condition for N

-----------------------------------------------------------------------------------Help will be appreciated ...

Peter

I am focused on Chapter 1: Continuity ... ...

I need help with an aspect of the proof of Lemma 1.3.3 ...

Duistermaat and Kolk"s proof of Lemma 1.3.3 reads as follows:https://www.physicsforums.com/attachments/7680In the proof of Lemma 1.3.3 we read ...

"... ... The necessity is obvious. ... ... "BUT ... how are we to interpret the concepts of "necessary"and "sufficient"in the context of an "if and only if" or two-way implication statement ...

... Can someone please explain "necessary" and "sufficient" in this context?

------------------------------------------------------------------------------------

***EDIT***

Basically ... as I understand the terms "sufficient" and "necessary" ...

If we have S \Longrightarrow N ... ...

then

N is a necessary condition for S

and

S is a sufficient condition for N

-----------------------------------------------------------------------------------Help will be appreciated ...

Peter

Last edited: