Finding a useful denial of a injective function and a surjective function

Click For Summary

Homework Help Overview

The discussion revolves around finding the useful denial of injective and surjective functions, focusing on their definitions and logical representations.

Discussion Character

  • Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • Participants explore the logical definitions of injective and surjective functions, questioning how to express their denials accurately. There is an attempt to clarify the implications of these definitions in logical terms.

Discussion Status

Some participants have provided their interpretations of the useful denials, and there is acknowledgment of correctness in these interpretations. However, the discussion appears to be ongoing with further exploration of definitions.

Contextual Notes

There seems to be a lack of clarity in the definitions provided, as indicated by incomplete statements in some posts. The discussion may be constrained by the need for precise terminology in mathematical logic.

ver_mathstats
Messages
258
Reaction score
21

Homework Statement


Find the useful denial of a injective function and a surjective function.

Homework Equations

The Attempt at a Solution


I know a one to one function is (∀x1,x2 ∈ X)(x1≠x2 ⇒ f(x1) ≠ f(x2)). So would the useful denial be (∃x1,x2 ∈ X)(x1 ≠ x2 ∧ f(x1) = f(x2))?

I know a onto function is (∀y ∈ Y)(∃x ∈ X)(y=f(x)). So would the useful denial be (∃y ∈ Y)(∀x ∈ X)(y≠f(x))?

Thank you.
 
Physics news on Phys.org
ver_mathstats said:

Homework Statement


Find the useful denial of a injective function and a surjective function.

Homework Equations

The Attempt at a Solution


I know a one to one function is (∀x1,x2 ∈ X)(x1≠x2 ⇒ f(x1) ≠ f(x2)). So would the useful denial be (∃x1,x2 ∈ X)(x1 ≠ x2 ∧ f(x1) = f(x2))?

I know a onto function is (∀y ∈ Y)(∃x ∈ X)(y=f(x)). So would the useful denial be (∃y ∈ Y)(∀x ∈ X)(y≠f(x))?

Thank you.
Both is correct.
 
fresh_42 said:
Both is correct.
Thank you.
 
Injective means
upload_2019-2-22_20-29-14.png

cannot happen, and surjective means
upload_2019-2-22_20-30-40.png


##y## cannot exist.
 

Attachments

  • upload_2019-2-22_20-29-14.png
    upload_2019-2-22_20-29-14.png
    356 bytes · Views: 418
  • upload_2019-2-22_20-30-40.png
    upload_2019-2-22_20-30-40.png
    1.2 KB · Views: 418

Similar threads

Replies
30
Views
3K
  • · Replies 26 ·
Replies
26
Views
3K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 14 ·
Replies
14
Views
4K
  • · Replies 9 ·
Replies
9
Views
5K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
Replies
8
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K