Notes & Texts on Sets, Relations and Functions

[Math Amateur]

On a post involving the proof of the Fourth Isomorphism Theorem for vector spaces (in which I was immeasurably helped by Deveno) I have become aware that my knowledge of sets and functions was not all it should be when it comes to things like inverse images, left and right inverses and the like ...

However, I have had some difficulties in sourcing a good text that covers sets and functions in sufficient depth and detail ... many texts leave off at the point where my knowledge gets a bit suspect ...

Another area where I would like a clear and detailed exposition is indexed families of sets ... ...

Can anyone help with good texts or online notes covering these topics in some depth?

Peter

 

[Ackbach]

You're probably best off with Naive Set Theory, by Halmos, or Axiomatic Set Theory, by Suppes. The Halmos book is more informal, while the Suppes book is very formal. I know the Halmos book has indexed sets; I can't remember off-hand whether Suppes does or not. My copy is at work. I would guess that it probably does - Suppes is usually the standard reference whenever just about anything comes up.

 

[Evgeny.Makarov]

My guess is that at your level consulting Wikipedia is sufficient. It's not like the inverse function is a completely new concept to you, you probably just need to verify some details, such as if it is true that every injective function has an inverse (no). There is also an article about indexed families. If Wikipedia is not sufficiently strict, you can consult Wolfram MathWorld, Springer Encyclopedia of Mathematics and PlanetMath.org (you may need to search it using Google as in "inverse function site:planetmath.org").

I think that naive set theory is mostly common sense. I have never studied it formally. And axiomatic set theory has a different concern: to show what can be done starting from specific axioms. Thus, axiomatic set theory is not necessarily used in the rest of mathematics.

 

[Math Amateur]

You're probably best off with Naive Set Theory, by Halmos, or Axiomatic Set Theory, by Suppes. The Halmos book is more informal, while the Suppes book is very formal. I know the Halmos book has indexed sets; I can't remember off-hand whether Suppes does or not. My copy is at work. I would guess that it probably does - Suppes is usually the standard reference whenever just about anything comes up.

Thanks Ackbach ... Appreciate the help ... Will get a copy of Suppes, I think ...

Peter

- - - Updated - - -

My guess is that at your level consulting Wikipedia is sufficient. It's not like the inverse function is a completely new concept to you, you probably just need to verify some details, such as if it is true that every injective function has an inverse (no). There is also an article about indexed families. If Wikipedia is not sufficiently strict, you can consult Wolfram MathWorld, Springer Encyclopedia of Mathematics and PlanetMath.org (you may need to search it using Google as in "inverse function site:planetmath.org").

I think that naive set theory is mostly common sense. I have never studied it formally. And axiomatic set theory has a different concern: to show what can be done starting from specific axioms. Thus, axiomatic set theory is not necessarily used in the rest of mathematics.

Thanks Evgeny ... Appreciate your thoughts on this matter ...

Peter