B Onto set mapping is the surjective set mapping, and into injective?

  • B
  • Thread starter Thread starter mcastillo356
  • Start date Start date
mcastillo356
Gold Member
Messages
634
Reaction score
342
TL;DR Summary
I'm almost sure, but need to check it with the forum. It's about the first chapter of "Introduction to topology and modern analysis" I am reading online.
The textbook is being fine. I asked the forum for some introduction to topology, and decided to start with Simmon`s. This naive question is due to ignorance of the words into and onto, which I don't distinguish in Spanish. A quick browsing sugests I'm right.
 
Physics news on Phys.org
Say, we have ##f\, : \,A\longrightarrow B.##

##f## is onto if it is surjective, i.e., ##\forall\,b\in B\,\exists\,a\in A\, : \,b=f(a).##
##f## is into if it is injective, i.e., ##f(a)=f(a')\Longrightarrow a=a'.##

However, the English language is not always very exact when it comes to "in", "to", or "into". I have seen examples where into just meant ##f(A)\subseteq B## without the requirement of being injective. So, onto equals surjective is always true, into equals injective depends on the author. At least to my experience.

In German, we would use "auf" = "onto" = surjective, "in"="into"=injective, and "nach"="to"= ##f(A)\subseteq B.##
 
  • Like
Likes mcastillo356
fresh_42 said:
Say, we have ##f\, : \,A\longrightarrow B.##

##f## is onto if it is surjective, i.e., ##\forall\,b\in B\,\exists\,a\in A\, : \,b=f(a).##
##f## is into if it is injective, i.e., ##f(a)=f(a')\Longrightarrow a=a'.##
Yes.
fresh_42 said:
However, the English language is not always very exact when it comes to "in", "to", or "into". I have seen examples where into just meant ##f(A)\subseteq B## without the requirement of being injective. So, onto equals surjective is always true, into equals injective depends on the author. At least to my experience.
Simmons is being precise. Into means inyective.
fresh_42 said:
In German, we would use "auf" = "onto" = surjective, "in"="into"=injective, and "nach"="to"= ##f(A)\subseteq B.##
That's accurate, indeed.
Thanks, @fresh_42 !
 
mcastillo356 said:
The textbook is being fine. I asked the forum for some introduction to topology, and decided to start with Simmon`s. This naive question is due to ignorance of the words into and onto, which I don't distinguish in Spanish. A quick browsing sugests I'm right.
To be on the set means occupying the whole set in a particular way and the word “onto” follows the definition of a surjective function at all.
To be in the set means occupying the part of the set but it does not mean that every element of the part of the set is occupied only once and this is the main reason for confusion. The word “into” does not completely follow the definition of an injective function.
 
  • Like
  • Informative
Likes PeroK and mcastillo356
Whether you use into and/or onto is upto you!
 
  • Haha
Likes mcastillo356
Hi all, I've been a roulette player for more than 10 years (although I took time off here and there) and it's only now that I'm trying to understand the physics of the game. Basically my strategy in roulette is to divide the wheel roughly into two halves (let's call them A and B). My theory is that in roulette there will invariably be variance. In other words, if A comes up 5 times in a row, B will be due to come up soon. However I have been proven wrong many times, and I have seen some...
Thread 'Detail of Diagonalization Lemma'
The following is more or less taken from page 6 of C. Smorynski's "Self-Reference and Modal Logic". (Springer, 1985) (I couldn't get raised brackets to indicate codification (Gödel numbering), so I use a box. The overline is assigning a name. The detail I would like clarification on is in the second step in the last line, where we have an m-overlined, and we substitute the expression for m. Are we saying that the name of a coded term is the same as the coded term? Thanks in advance.
Back
Top