TOC
Courses
Blog
Shop
Search
Toggle menu
Courses
Blog
Subreddit
Discord
Log in
Sign up
▾
Bridge course
•
Countable and uncountable sets
▾
Proof techniques
•
Example of a nonconstructive proof
•
Direct proof
•
Disproof by counterexample
•
Proof by cases
•
Proving properties of absolute value
•
Proof by contrapositive
•
Proof by contradiction
•
Proof by induction
•
Proof by strong induction
•
Proving de Moivre's theorem
•
Visual proof
•
Challenge
▸
Relations
•
Equivalence relations
•
Intersection of equivalence relations
•
Representing relations using matrices
▸
Combining relations
•
Composition of relations
•
Inverse of composite relation
•
Representing relations using digraphs
•
Properties of relations
•
Proving equivalence relations
•
What is a relation?
•
Finding the inverse of a relation on a finite set
▸
Functions (bridge course)
▸
Injective, surjective, and bijective
•
Intro
•
Is it bijective? (infinite domain)
•
Is it injective?
▸
Is it surjective?
•
Proof: Composite of surjections is surjection
•
Proving properties of injective, surjective, and bijective functions
›
Bridge course
›
Proof techniques
Example of a nonconstructive proof
There exist irrational numbers \(a\) and \(b\) such that \(a^b\) is rational.
924
A fascinating non-constructive proof
discovermaths
71656
Irrational to Irrational Power is Rational! Incredible Proof
Math at Andrews
51148
irrational^irrational=rational?
blackpenredpen
72386
There Exists Two Irrational Numbers a and b s.t. a^b is Rational
Math For Life