Can a function become surjective by restricting its codomain?

  • Context: High School 
  • Thread starter Thread starter Suyogya
  • Start date Start date
  • Tags Tags
    function surjective
Click For Summary
SUMMARY

The discussion centers on the concept of surjectivity in functions, specifically the exponential function g: R → R, defined as g(x) = e^x. It is established that while g is not surjective over the reals, restricting its codomain to the positive real numbers R+ makes it bijective, with the natural logarithm function ln serving as its inverse. The conversation confirms that altering the codomain is permissible and can render any function surjective by restricting it to its image, although this may redefine the function's standard definition.

PREREQUISITES
  • Understanding of function definitions and properties, including injectivity and surjectivity.
  • Familiarity with the exponential function and its characteristics.
  • Knowledge of inverse functions, specifically the natural logarithm.
  • Basic concepts of set theory as they relate to function codomains.
NEXT STEPS
  • Explore the properties of bijective functions and their implications in mathematics.
  • Study the relationship between a function and its inverse, focusing on exponential and logarithmic functions.
  • Investigate the concept of function restrictions and how they affect the properties of functions.
  • Learn about set theory and its application in defining function codomains and images.
USEFUL FOR

Mathematicians, educators, and students studying advanced calculus or real analysis, particularly those interested in function properties and transformations.

Suyogya
Messages
14
Reaction score
0
wikipedia says:
"The exponential function, g: RR, g(x) = ex, is not bijective: for instance, there is no x in R such that g(x) = −1, showing that g is not onto (surjective). However, if the codomain is restricted to the positive real numbers R+, then g becomes bijective; its inverse is the natural logarithm function ln."
Is altering the set of codomain allowed for a function? if yes then every function would be made surjective just be changing the codomain?
Also by doing this the standard function's definition would get changed
 
Physics news on Phys.org
Suyogya said:
wikipedia says:
"The exponential function, g: RR, g(x) = ex, is not bijective: for instance, there is no x in R such that g(x) = −1, showing that g is not onto (surjective). However, if the codomain is restricted to the positive real numbers R+, then g becomes bijective; its inverse is the natural logarithm function ln."
Is altering the set of codomain allowed for a function?
There is no function police! Whether it is allowed or not depends on what you want to do.
If yes then every function would be made surjective just be changing the codomain?
Yes. Every function ##f\, : \, M \longrightarrow N## gets surjective by the restriction ##f\, : \, M \longrightarrow \operatorname{im}(f)=f(M) \subseteq N##.
Also by doing this the standard function's definition would get changed
Whether you call this a new function, a restriction of ##f## or don't distinguish them at all is a matter of taste and at best depends on the intentions.
 

Similar threads

  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 8 ·
Replies
8
Views
5K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K