Path: csiph.com!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: Phil Carmody Newsgroups: sci.math Subject: Re: Contradiction of bijections as a measure for infinite sets Date: Wed, 27 Mar 2024 13:35:45 +0200 Organization: A noiseless patient Spider Lines: 34 Message-ID: <87cyrf9ab2.fsf@fatphil.org> References: <87h6gs8zpd.fsf@fatphil.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Injection-Date: Wed, 27 Mar 2024 11:35:46 +0100 (CET) Injection-Info: dont-email.me; posting-host="a07f7fa70e179e03544b9440525be34f"; logging-data="2965957"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19wxJXJVwaw7sjBxksZA03d" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux) Cancel-Lock: sha1:iQJQ3I9iPbiDniUFkXFpSFE88nw= sha1:iziaWpIhgPTcjtsyfNI2uInKRaM= Xref: csiph.com sci.math:626400 FromTheRafters writes: > Phil Carmody submitted this idea : >> FromTheRafters writes: >>> WM used his keyboard to write : >>>> Le 26/03/2024 à 14:39, FromTheRafters a écrit : >>>>> on 3/26/2024, WM supposed : >>>>>> Le 25/03/2024 à 23:49, FromTheRafters a écrit : >>>>>>> WM laid this down on his screen : >>>>>>>> by showing injectivity and surjectivity. That means one-to-one >>>>>>>> correspondence: one of both sets has not one element more nor >>>>>>>> less than the other! >>>>>>> >>>>>>> For finite sets. >>>>>> >>>>>> For all bijections which deserve this name. >>>>> >>>>> What name? >>>> >>>> The name bijection. >>> >>> All bijections deserve the name bijection. >> >> Even the ones that are just bicuriousjections? > > Yes. Math is an equivalence class opportunity employer. :D As it should be - I marched for homeomorphic rights when I was younger. Phil -- We are no longer hunters and nomads. No longer awed and frightened, as we have gained some understanding of the world in which we live. As such, we can cast aside childish remnants from the dawn of our civilization. -- NotSanguine on SoylentNews, after Eugen Weber in /The Western Tradition/