(Abstract Algebra 1) Surjective Functions

Sdílet
Vložit
  • čas přidán 10. 09. 2024
  • The definition of surjective (onto) functions is given along with an outline of how to prove that a function is surjective.

Komentáře • 19

  • @jeffwilken7241
    @jeffwilken7241 Před 5 lety +11

    Your examples of injective (previous video) and subjective mappings are identical, which sorta obfuscates that they are two distinct ideas. Would’ve been helpful if you’d given non-bijective examples to highlight the difference. Just a minor quibble! In any case, I appreciate you taking the time to make these.

  • @saralopez5521
    @saralopez5521 Před 3 lety +1

    Thank you for being so clear explaining maths.

  • @kingsleyblay9472
    @kingsleyblay9472 Před rokem

    Pls can it be concluded that, with surjective functions always the co-domain is the same as the range.

  • @fmikael1
    @fmikael1 Před rokem

    So just a clarification between Injective Vs Surjective - The former states that every element of A has a one to one mapping, with an element in B. Whereas surjective means that every element of B has a mapping to A, this would mean that multiple values of A can map to the same value of B

  • @123TeeMee
    @123TeeMee Před rokem

    Don't really get why those proofs work. You find one example of an input that maps to one output, but you have to check every output. You'd be able to prove it's not subjective by working out the inverse of the function and finding a counterexample inverse function input that does not produce a defined result.

  • @yakopro49
    @yakopro49 Před 5 lety

    This is an excellent video thanks a lot

  • @AshutoshNigam68
    @AshutoshNigam68 Před 2 lety

    Graph of e^x is above x axis.

  • @juanjaimescontreras1798

    Great video like all the rest of your videos. Question based on the DEF: let y be from R+
    then y = e^x, for some x from R. is this different from your proof on step 2:
    G(ln y) = e^(lny) = y??

    • @ravitheja012345
      @ravitheja012345 Před 5 lety

      These are the steps:
      Let y=e^x.
      But then x=lny is a positive integer. So, g(x)=e^x(given)
      (Implies) g(x)=e^(lny)=y.
      Thus 'g' is surjective.

  • @marcdamian8358
    @marcdamian8358 Před 9 lety

    Why is e^lny equal to y?

  • @seriousmax
    @seriousmax Před 8 lety +1

    So basically codomain is image?

    • @learnifyable
      @learnifyable  Před 8 lety +2

      I have another video (Definition of a Function) that goes through all of the terminology. Unfortunately, some of the terms change depending on the branch of mathematics that you are studying, so it's not always so clear.

  • @maxpercer7119
    @maxpercer7119 Před 2 lety

    Definition of surjection: f : A →B is surjective if ran(f) = B.

  • @marcdamian8358
    @marcdamian8358 Před 9 lety

    Nevermind, if you take the natural logarithms of both sides and equal them, you'll get that lny is lny. Thank you!

  • @helpdeskjtmk-8119
    @helpdeskjtmk-8119 Před 3 lety

    how to define f:z-->z
    f(n)=3n
    please help me

    • @ericssimpson
      @ericssimpson Před 2 lety

      let function 'f' be the mapping of the integers to the integers defined by the set 'f(3n)' such that 'n' is in the integers

  • @RedmercyGG
    @RedmercyGG Před 10 lety +1

    omg thank u so much!!!!!