Re: A = M U N => |A| = |M| + |N|



In article <Pine.BSI.4.58.0609172003580.1979@xxxxxxxxxxxxxxxxx>,
William Elliot <marsh@xxxxxxxxxxxxxxxxxx> wrote:

On Sun, 17 Sep 2006, Aatu Koskensilta wrote:
Thomas Glanzmann wrote:

I read my math script and wonder about the following implication:

A = M U N => |A| = |M| + |N|

I wonder if this is even correct when M and N share some elements or if
the above statement is only correct if the two sets are disjoint?

It is correct when the two sets are either disjoint or infinite. For
infinite sets we have |M| + |N| = max(|M|,|N|) so disjointness doesn't
matter.

As notice in my previous post, it's true also when one of the sets
is infinite, or equivalently, when A is infinite.

I'm reading everybody's reply to this, and I can't help wondering:
does this guy mean cardinality, or measure? |A| is also an
(old-fashioned) notation for the Lebesgue measure of A. Of course,
under neither interpretation is the implication valid...

I also have no idea what a math "script" is. I hope it means "text".
I have the terrible fear that it means "a list of things to know" to
solve math problems. Rather like the first dozen plays of a football
game being scripted...

--
Ron Bruck
.



Relevant Pages

  • Re: Cantors Diagonal Argument
    ... in which you proposed an uncountable set of disjoint intervals ... >> adjacent points in the reals. ... Where I think infinite sets are equivalent and all ... >> intervals, and as well that of disjoint nesting interval remainders, ...
    (sci.logic)
  • Re: Question about integration
    ... measurable set M, if the Lebesgue measure of M is smaller than _d_, then ... disjoint infinite subsequence. ... Suppose that the sets B_i have no infinite disjoint subsequence. ...
    (sci.math)
  • Re: on infinite
    ... that each has a countably infinite number of elments and they are ... that distinct elements of S are disjoint and that the ... number of sets whose union is uncountable. ... Herman Rubin, Department of Statistics, Purdue University ...
    (sci.math)
  • Re: infinity
    ... > Set A is infinite if every finite proper subset of A can be bijected to ... > another disjoint proper subset of A.Provided that set A is not a binary ... How would one go about proving that EVERY finite subset of the rationals ...
    (sci.math)
  • Quantum Gravity 321.1: Australia, USA, Probable Causation/Influence and Tachions, Axions
    ... The updated paper focuses on Axions in its cosmological part rather ... What is a 0 Lebesgue measure event, process, or scenario? ... that various geometric objects have "infinite thinness", ... It is easy to prove that in Probable Causation/Influence, ...
    (sci.physics)