Elements of Set Theory: Notation

in #mathematics7 years ago (edited)

<h1>Elements of Set Theory: Notation <hr /> <p dir="auto">To denote sets, we will use a variety of letters, both lowercase (a,b,...), uppercase (A,B,...), and even script letters and Greek letters. Letters can be embellished with subscripts, primes, and the like. <p dir="auto">It will be advantageous to exploit symbolic notations from mathematical logic. This symbolic language, <a href="https://steemit.com/mathematics/@sinbad989/a-gentle-introduction-to-mathematics-more-scary-notation" target="_blank" rel="nofollow noreferrer noopener" title="This link will take you away from hive.blog" class="external_link">used to replace the English language, has the advantage to both conciseness (shorter expression) and preciseness (less ambiguous expressions). <p dir="auto">The following symbolic notations will be used to replace the following English language: <p dir="auto"><center><img src="https://images.hive.blog/768x0/https://steemitimages.com/DQmXGgjtgez6hHRHUVHoDoSWCF51ZYHGLFMkeV52YvdTQgk/image.png" srcset="https://images.hive.blog/768x0/https://steemitimages.com/DQmXGgjtgez6hHRHUVHoDoSWCF51ZYHGLFMkeV52YvdTQgk/image.png 1x, https://images.hive.blog/1536x0/https://steemitimages.com/DQmXGgjtgez6hHRHUVHoDoSWCF51ZYHGLFMkeV52YvdTQgk/image.png 2x" /> <p dir="auto">We also have available symbols for "membership" and equality namely: <img src="https://images.hive.blog/768x0/https://steemitimages.com/DQmU5zhbXKn1pYSdnCXLHGRwJewkBDWHQxU8mo2RnaLZbvh/image.png" srcset="https://images.hive.blog/768x0/https://steemitimages.com/DQmU5zhbXKn1pYSdnCXLHGRwJewkBDWHQxU8mo2RnaLZbvh/image.png 1x, https://images.hive.blog/1536x0/https://steemitimages.com/DQmU5zhbXKn1pYSdnCXLHGRwJewkBDWHQxU8mo2RnaLZbvh/image.png 2x" /> respectively. <p dir="auto">Wit all these symbols, variables, and parentheses, we could avoid the English language together in the statement of axioms and theorems. <p dir="auto">Note that the $\forall{x}$ read as "for all <strong>sets x", rather the "for all <em>things x". This is from the fact that we agreed to eliminate atoms from our theory. Everything we consider is a set; e.g., every member of a set will itself be a set. <p dir="auto"><strong>Example: <p dir="auto">1.Let's try to convert our "principle of extensionality" into a formal language:<br /> <center><img src="https://images.hive.blog/768x0/https://steemitimages.com/DQmbfZ3kskgKmtYKFh5auMQxdqAgpgRPz3kBoueA3kKAXdy/image.png" srcset="https://images.hive.blog/768x0/https://steemitimages.com/DQmbfZ3kskgKmtYKFh5auMQxdqAgpgRPz3kBoueA3kKAXdy/image.png 1x, https://images.hive.blog/1536x0/https://steemitimages.com/DQmbfZ3kskgKmtYKFh5auMQxdqAgpgRPz3kBoueA3kKAXdy/image.png 2x" /> <p dir="auto">​ Then "A and B have exactly the same members" can be written as<br /> <center><img src="https://images.hive.blog/768x0/https://steemitimages.com/DQmQRfmBGgXwo86oyn3m1Buq3QrN2ps9a2HnxCXS1kCYwkK/image.png" srcset="https://images.hive.blog/768x0/https://steemitimages.com/DQmQRfmBGgXwo86oyn3m1Buq3QrN2ps9a2HnxCXS1kCYwkK/image.png 1x, https://images.hive.blog/1536x0/https://steemitimages.com/DQmQRfmBGgXwo86oyn3m1Buq3QrN2ps9a2HnxCXS1kCYwkK/image.png 2x" /> <p dir="auto">​ so the extensionality can be written as, <p dir="auto"><center><img src="https://images.hive.blog/768x0/https://steemitimages.com/DQmNVnn6TRWnmBSPFVor7EcWz4XEcjBmH1PA33hf5bxXSK6/image.png" srcset="https://images.hive.blog/768x0/https://steemitimages.com/DQmNVnn6TRWnmBSPFVor7EcWz4XEcjBmH1PA33hf5bxXSK6/image.png 1x, https://images.hive.blog/1536x0/https://steemitimages.com/DQmNVnn6TRWnmBSPFVor7EcWz4XEcjBmH1PA33hf5bxXSK6/image.png 2x" /> <p dir="auto">2.Another example, we will convert into a formal language is the following statement: <p dir="auto"><code>There is a set to which nothing belongs <p dir="auto">This can be written formally as, <p dir="auto"><center><img src="https://images.hive.blog/768x0/https://steemitimages.com/DQmVb2L1rujRZgnbgPGqLHYyGDHPtYQt2RTNbMupLSwWStP/image.png" srcset="https://images.hive.blog/768x0/https://steemitimages.com/DQmVb2L1rujRZgnbgPGqLHYyGDHPtYQt2RTNbMupLSwWStP/image.png 1x, https://images.hive.blog/1536x0/https://steemitimages.com/DQmVb2L1rujRZgnbgPGqLHYyGDHPtYQt2RTNbMupLSwWStP/image.png 2x" /> <p dir="auto">These two examples constitute our first two axioms. <p dir="auto"><br /><br /> <br /><br /> <sup>Disclaimer: this is a summary of section 1.4 from the book "Elements of Set Theory" by Herbert B. Enderton, the content apart from rephrasing is identical, most of the equations are from the book and the same examples are treated. All of the equation images were screenshot from generated latex form using <a href="https://typora.io/" target="_blank" rel="nofollow noreferrer noopener" title="This link will take you away from hive.blog" class="external_link">typora. <ol> <li><a href="https://github.com/valjen/book_collection" target="_blank" rel="nofollow noreferrer noopener" title="This link will take you away from hive.blog" class="external_link">Elements of Set Theory by Herbert B. Enderton <p dir="auto"><center> Thank you for reading ...<br /><br /> <img src="https://images.hive.blog/768x0/https://steemitimages.com/DQmNXXLQdbXpB1WuRn2YErhQLznZVCdUW3kc7sutPWxA8vv/image.png" srcset="https://images.hive.blog/768x0/https://steemitimages.com/DQmNXXLQdbXpB1WuRn2YErhQLznZVCdUW3kc7sutPWxA8vv/image.png 1x, https://images.hive.blog/1536x0/https://steemitimages.com/DQmNXXLQdbXpB1WuRn2YErhQLznZVCdUW3kc7sutPWxA8vv/image.png 2x" /><br /> <a href="https://twitter.com/steemviewer" target="_blank" rel="nofollow noreferrer noopener" title="This link will take you away from hive.blog" class="external_link"><img src="https://images.hive.blog/768x0/https://steemitimages.com/DQmWCPC8dAJDjxnbeUsewtJtMk4gpWwFxUTMk9fbPLQiu83/1524729086676.png" alt="1524729086676.png" srcset="https://images.hive.blog/768x0/https://steemitimages.com/DQmWCPC8dAJDjxnbeUsewtJtMk4gpWwFxUTMk9fbPLQiu83/1524729086676.png 1x, https://images.hive.blog/1536x0/https://steemitimages.com/DQmWCPC8dAJDjxnbeUsewtJtMk4gpWwFxUTMk9fbPLQiu83/1524729086676.png 2x" /><br /> <span> <img src="https://images.hive.blog/0x0/https://media.giphy.com/media/ohdY5OaQmUmVW/giphy.gif" />
Sort:  

You got a 2.93% upvote from @minnowvotes courtesy of @sinbad989!