カントールの往復論法
1. Back-and-forth methodIn mathematical logic, especially set theory and model theory, the back-and-forth method is a method for showing isomorphism between countably infinite structures satisfying specified conditions. In particular: It can be used to prove that any two countably infinite densely ordered sets (i.e. , linearly ordered in such a way that between any two members there is another) without endpoints are isomorphic. An isomorphism between linear orders is simply a strictly increasing bijection.
Read “Back-and-forth method” on English Wikipedia
Read “カントールの往復論法” on Japanese Wikipedia
Read “Back-and-forth method” on DBpedia
Read “Back-and-forth method” on English Wikipedia
Read “カントールの往復論法” on Japanese Wikipedia
Read “Back-and-forth method” on DBpedia
Discussions
Log in to talk about this word.