Proof of bijection of a function

Click For Summary
SUMMARY

The discussion centers on proving that the inverse function f^(-1) of a bijection f = (A, B, F) is also a bijection from B to A. Key points include demonstrating that f^(-1) is a function, showing it is injective (one-to-one), and proving it is surjective (onto). The proof method suggested involves contradiction, but it is essential to establish the properties of f^(-1) directly to confirm its bijection status.

PREREQUISITES
  • Understanding of bijections and their properties
  • Familiarity with function definitions and inverses
  • Knowledge of mathematical proof techniques, including contradiction
  • Basic concepts of injections and surjections
NEXT STEPS
  • Study the properties of bijections in set theory
  • Learn about the definitions and examples of injective and surjective functions
  • Explore proof techniques in mathematics, focusing on contradiction
  • Investigate the implications of inverse functions in various mathematical contexts
USEFUL FOR

Mathematics students, educators, and anyone interested in understanding the properties of functions and their inverses, particularly in the context of set theory and proofs.

Panphobia
Messages
435
Reaction score
13

Homework Statement



Consider a bijection f = (A,B,F)
Show that f^(-1) (inverse of f) is a bijection from B to A and that for any element x of A we have
f^(-1)(f(x))=x

The Attempt at a Solution



For this proof can I use contradiction and the say f^(-1) is not a bijection from B to A or there exists an element x of A that f^(-1)(f(x)) != x

If this is what I am supposed to prove. How would I go about doing it? If not what proof method should I use?
 
Physics news on Phys.org
To show that ##f^{-1}## is a bijection, you need to show three things:
(1) ##f^{-1}## is a function. This is not necessarily true for a general ##f##. For example, if ##f : \mathbb{R} \rightarrow \mathbb{R}## is defined by ##f(x) = x^2##, and ##y > 0##, then ##f^{-1}(y)## is a set containing two distinct elements: ##\sqrt{y}## and ##-\sqrt{y}##.
(2) ##f^{-1}## is an injection, meaning that if ##f^{-1}(y_1) = f^{-1}(y_2)##, then ##y_1 = y_2##.
(3) ##f^{-1}## is a surjection, meaning that if ##x## is in the codomain of ##f^{-1}##, then ##x = f^{-1}(y)## for some ##y## in the domain of ##f^{-1}##.
 
  • Like
Likes   Reactions: 1 person
alright I got it.
 

Similar threads

Replies
1
Views
2K
Replies
5
Views
2K
  • · Replies 11 ·
Replies
11
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K