Open main menu
Home
Random
Log in
Settings
About The Portal Wiki
Disclaimers
The Portal Wiki
Search
Editing
Geometry
(section)
Warning:
You are not logged in. Your IP address will be publicly visible if you make any edits. If you
log in
or
create an account
, your edits will be attributed to your username, along with other benefits.
Anti-spam check. Do
not
fill this in!
==Set theory== [[File:LawsOfSets.png|thumb|Laws of set theory]] [https://www.youtube.com/watch?v=AAJB9l-HAZs&list=PLPH7f_7ZlzxTi6kS4vCmv4ZKm9u8g5yic&index=2 Lecture 02] [https://www.youtube.com/watch?v=6EIWRg-6ftQ&list=PLPH7f_7ZlzxTi6kS4vCmv4ZKm9u8g5yic&index=3 Lecture 03] epsilon-relation (member relation); Zermelo-Fraenkel axioms of set theory; Russel's paradox; existence and uniqueness of the empty set (standard textbook proof and formal proof); axioms on the existence of pair sets and union sets; examples; finite unions; functional relation and image; principle of restricted and universal comprehension; axiom of replacement; intersection and relative complement; power sets; infinity; the sets of natural and real numbers; axiom of choice; axiom of foundation. definition of maps (or functions) between sets; structure-preserving maps; identity map; domain, target and image; injective, surjective and bijective maps; isomorphic sets; classification of sets: finite and countably and uncountably infinite; cardinality of a set; composition of maps; commutative diagrams; proof of associativity of composition; inverse map; definition of pre-image and properties of pre-images (with proof); equivalence relations: reflexivity, symmetry, transitivity; examples; equivalence classes and quotient set; well-defined maps; construction of β, β€, β, β (natural, integer, rational and real numbers); successor and predecessor maps; nth power set; addition and multiplication of numbers; canonical embeddings.
Summary:
Please note that all contributions to The Portal Wiki may be edited, altered, or removed by other contributors. If you do not want your writing to be edited mercilessly, then do not submit it here.
You are also promising us that you wrote this yourself, or copied it from a public domain or similar free resource (see
The Portal:Copyrights
for details).
Do not submit copyrighted work without permission!
Cancel
Editing help
(opens in new window)