You are Here: Home >< Maths

# can someone explain this please? watch

Announcements
1. Note that id we know the image of a function and we consider it as then it's automatically surjective

what does the we consider it as mean?
2. (Original post by will'o'wisp2)
Note that id we know the image of a function and we consider it as then it's automatically surjective

what does the we consider it as mean?
Whenever you get stuck on a problem like this the first (really important) step is to make sure you understand all of the notation/definitions being used in the question. Break it into all of its separate parts and make sure you know every piece individually before worrying about the whole. Do you indeed know what Dom(f) and surjective are, for example?

Anyway, when defining a function:

We say f maps elements of the set A (known as the domain / dom(f)) onto elements of the set B (known as the codomain / cod(f)).

Now, f is surjective if for every element there exists such that , i.e. every element of B can be "reached" from some element of A.

Additionally, Im(f) is the subset of elements of B which can be reached from A.

So, if we replace B with Im(f), and consider only the elements of B which can be reached from A, we suddenly notice (unsurprisingly) that every element of the new B (Im(f)) can now be reached from A. Therefore is automatically surjective.
3. (Original post by President Snow)
Whenever you get stuck on a problem like this the first (really important) step is to make sure you understand all of the notation/definitions being used in the question. Break it into all of its separate parts and make sure you know every piece individually before worrying about the whole. Do you indeed know what Dom(f) and surjective are, for example?

Anyway, when defining a function:

We say f maps elements of the set A (known as the domain / dom(f)) onto elements of the set B (known as the codomain / cod(f)).

Now, f is surjective if for every element there exists such that , i.e. every element of B can be "reached" from some element of A.

Additionally, Im(f) is the subset of elements of B which can be reached from A.

So, if we replace B with Im(f), and consider only the elements of B which can be reached from A, we suddenly notice (unsurprisingly) that every element of the new B (Im(f)) can now be reached from A. Therefore is automatically surjective.
can you give an example? i don't quite understand because i know what surjective it and what makes a function so but i don't get what this is, is it supposed to be a special case or something?
4. (Original post by will'o'wisp2)
can you give an example? i don't quite understand because i know what surjective it and what makes a function so but i don't get what this is, is it supposed to be a special case or something?
Part of learning to be a mathematician is learning to make your own examples from pure theory. This isn't A-Level anymore and you cannot ask for an example every time something's a little difficult.

Please read my post again - slowly and carefully - and as many times as is needed until the meaning begins to sink in. That is how mathematics works & the sooner you learn this incredibly valuable skill the better you'll do on your maths modules.

Finally - please look up the definition of Im(f) and make sure you understand what that is too.
5. (Original post by President Snow)
Part of learning to be a mathematician is learning to make your own examples from pure theory. This isn't A-Level anymore and you cannot ask for an example every time something's a little difficult.

Please read my post again - slowly and carefully - and as many times as is needed until the meaning begins to sink in. That is how mathematics works & the sooner you learn this incredibly valuable skill the better you'll do on your maths modules.

Finally - please look up the definition of Im(f) and make sure you understand what that is too.
So i kind of understand now???

So a function has and then this function is surjective because we know the domain maps onto the image?

wait is it because the image is contained within the domain and so it's by definition surjective?

so is surjective because All integers are a part of the real numbers?
6. (Original post by will'o'wisp2)
So i kind of understand now???

So a function has and then this function is surjective because we know the domain maps onto the image?
Not quite.

The definition of a subjective map is as follows:

The function is surjective iff there exists such that

Aside from me not understanding what you mean by "= R" part, I think you mean to say with - this is infact NOT surjective. The codomain is , so if I pick then clearly there is no in such that .

To fix your example, say - then this is surjective as for any there is an which satisfies the map.

If it's easier to understand, a map is surjective if
7. (Original post by RDKGames)
Not quite.

The definition of a subjective map is as follows:

The function is surjective iff there exists such that

Aside from me not understanding what you mean by "= R" part, I think you mean to say with - this is infact NOT surjective. The codomain is , so if I pick then clearly there is no in such that .

To fix your example, say - then this is surjective as for any there is an which satisfies the map.

If it's easier to understand, a map is surjective if
I think that's what i edited it to? You replied before you saw the edit, whoops

so

wait is it because the image is contained within the domain and so it's by definition surjective?

so is surjective because All integers are a part of the real numbers?
8. (Original post by will'o'wisp2)
I think that's what i edited it to? You replied before you saw the edit, whoops

so

wait is it because the image is contained within the domain and so it's by definition surjective?

so is surjective because All integers are a part of the real numbers?

Got derailed a bit when writing a response earlier...

The codomain doesn't have to be contained within the domain for the function to be surjective - refer back to your own example that I fixed above.

is not necessarily surjective as it depends on what is. Take which is a mapping - this is surjective. Now take but this is not surjective since there is no such that for example.
9. (Original post by RDKGames)
Got derailed a bit when writing a response earlier...

The codomain doesn't have to be contained within the domain for the function to be surjective - refer back to your own example that I fixed above.

is not necessarily surjective as it depends on what is. Take which is a mapping - this is surjective. Now take but this is not surjective since there is no such that for example.
so it's just a definiton of surjective then?
10. (Original post by will'o'wisp2)
so it's just a definiton of surjective then?
Referring to your OP, the "we consider it as " is in fact just working from the definition of surjectivity, yes. Clearly, if you know that the domain gets mapped onto the image, then everything in the image must have an element in the domain - this is the def.

It's kinda like saying you start off with but then upon closer inspection you can narrow down the codomain such that it is . Now everything in the codomain (this is explicit image of f, since f can reach everything in this set, but not everything in ) has an element in hence fulfilling the definition. This means this mapping is now surjective.
11. (Original post by RDKGames)
Referring to your OP, the "we consider it as " is in fact just working from the definition of surjectivity, yes. Clearly, if you know that the domain gets mapped onto the image, then everything in the image must have an element in the domain - this is the def.

It's kinda like saying you start off with but then upon closer inspection you can narrow down the codomain such that it is . Now everything in the codomain (this is explicit image of f, since f can reach everything in this set, but not everything in ) has an element in hence fulfilling the definition. This means this mapping is now surjective.
Oh right... i thought this was something super important in the lecture notes i made -__-

Greatest thanks to you for explaining, and the other guy too.

TSR Support Team

We have a brilliant team of more than 60 Support Team members looking after discussions on The Student Room, helping to make it a fun, safe and useful place to hang out.

This forum is supported by:
Updated: October 8, 2017
Today on TSR

And I hate it

### University open days

• Heriot-Watt University
School of Textiles and Design Undergraduate
Fri, 16 Nov '18
• University of Roehampton
Sat, 17 Nov '18
• Edge Hill University
Faculty of Health and Social Care Undergraduate
Sat, 17 Nov '18
Poll
Useful resources

### Maths Forum posting guidelines

Not sure where to post? Read the updated guidelines here

### How to use LaTex

Writing equations the easy way

### Study habits of A* students

Top tips from students who have already aced their exams