MHB Neccesity and sufficiency .... D&K Lemma 1.3.3 ....

  • Thread starter Thread starter Math Amateur
  • Start date Start date
Math Amateur
Gold Member
MHB
Messages
3,920
Reaction score
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
 
Last edited:
Physics news on Phys.org
Hi Peter,

"A if B" means "$B\Rightarrow A$" : B is sufficient and A is necessary.

"A only if B" means "$A\Rightarrow B$" : B is necessary and A is sufficient.

In "A if and only if B", "the condition" refers to B.

Saying that "the condition" is necessary means $A\Rightarrow B$, saying that "the condition" is sufficient means $B\Rightarrow A$.
 
A sphere as topological manifold can be defined by gluing together the boundary of two disk. Basically one starts assigning each disk the subspace topology from ##\mathbb R^2## and then taking the quotient topology obtained by gluing their boundaries. Starting from the above definition of 2-sphere as topological manifold, shows that it is homeomorphic to the "embedded" sphere understood as subset of ##\mathbb R^3## in the subspace topology.
Back
Top