Half a croissant, on a plate, with a sign in front of it saying '50c'
h a l f b a k e r y
OK, we're here. Now what?

idea: add, search, annotate, link, view, overview, recent, by name, random

meta: news, help, about, links, report a problem

account: browse anonymously, or get an account and write.



Negative Cardinality

A mathematical set property of having less than 0 elements (Just like antimatter in Physics.)
  [vote for,

The invention of negative numbers proved to be useful in mathematics. Set operations, however, do not have the idea of having less than 0 elements. We reach the empty set {}, and then stop, but why should we? Imagine a property: subtracting an element that is not in a set creates a potentiality to annihilate such element. Such potentiality could be marked as elements with an apostrophe. I.e., {1,2',2} = {1}.

This idea was inspired by "World’s Most Exclusive Club," when thinking about the super-exclusiveness.

Inyuki, May 31 2012

World’s Most Exclusive Club World_92s_20Most_20Exclusive_20Club
[Inyuki, May 31 2012]

like antimatter http://science.disc...de-of/index-02.html
[xandram, Jun 01 2012]

Fuzzy set http://en.wikipedia.org/wiki/Fuzzy_set
Close idea, however, membership is in the range [0, 1]. (Membership function is non-negative.) [Inyuki, Jun 01 2012]


       [+] As soon as I get my membership card from the World’s Most Exclusive Club, I am going to publish a paper in their journal on proving the existence of Sets with Negative Cardinality.
sqeaketh the wheel, May 31 2012

       Interesting. Can one also have rational, irrational, transcendental and complex numbers of members of a set?
MaxwellBuchanan, May 31 2012

       Poor little set... it was formed with no "i"s and no "e"s.
UnaBubba, May 31 2012

       [MaxwellBuchanan], I think so, just specify the element, and the quantity of that element.
Inyuki, May 31 2012

       What would you do with a set containing negative elements?
Voice, May 31 2012

       not much.
FlyingToaster, May 31 2012

       // What would you do with a set containing negative elements? //   

       Answer: set operations.   

       Btw., calling them 'negative elements' would be a misnomer: {-1, -2} U {2} = {-1, -2, 2}, whereas {1', 2'} U {2} = {1'}. Calling them something like "anti-elements" would allow to avoid such an ambiguity.
Inyuki, May 31 2012

       I think having anti-cardinals would be frowned upon by the Catholic Church.
ytk, May 31 2012

       [Inyuki], I agree with {1', 2'} U {2} = {1'}, upon which an entire algebra could probably be formulated. The set {1', 2'} owes someone a 2, so it has to pay it back under the Union operation. Sweet.
sqeaketh the wheel, Jun 01 2012

       What you have just invented, Inyuki, is something called 'accountancy' and what you are describing is a balance sheet made up of assets & liabilities. It's a splendid idea but it already exists.
DrBob, Jun 01 2012

       But the novelty is in the idea of a mathematical set that is missing some elements. And further, that addition by the Union operation can be used on such nonstandard sets to achieve accountancy. Those don't exist in the accountancy literature I would venture.
sqeaketh the wheel, Jun 01 2012

       Could a set of anti-cardinals be itself negative?   

       And what would the antipope think?
RayfordSteele, Jun 01 2012

       The associative law is supposed to apply to the U operator:
(A U B) U C = A U (B U C).

       But if
A = {'1, '2}
B = {2}
C = {2, 3}

       by your definition of U with anti-elements
(A U B) U C = ({'1, '2} U {2}) U {2, 3} = ({'1}) U {2, 3} = {'1, 2, 3}

A U (B U C) = {'1, '2} U ({2} U {2, 3}) = {'1, '2} U ({2, 3}) = {'1, 3}
scad mientist, Jun 01 2012


       Bob is a member of the Tristate Yacht Club...   

       Bob has been barred from the Peglegger's Yacht Club.   

       What happens to Bob when Tristate and Peglegger's merge ?
FlyingToaster, Jun 01 2012

       They put Bob in a box with a radioactive atom and a flask of poison. Then the rest of them all go have drinks down at the clubhouse.
ytk, Jun 01 2012

       Does Bob hold an office within TYC, or have a friend who is an officer? If not, he'll likely walk the plank.
Alterother, Jun 01 2012

       Is this the way to get both tea and not tea?
RayfordSteele, Jun 01 2012

       [scad] - As said above, "upon which an entire algebra could probably be formulated." Your proof, which is correct, shows that under this new algebra, the associative law does not apply to the U operator. That's why its called a new algebra, and is no less valid than the usual one. Useless maybe, but valid.
sqeaketh the wheel, Jun 01 2012

       [UB] everyone knows that you have made XZ an "anti-member" of your set. Does this mean that XZ can still be a nuisance by increasing the equal and opposite quantity of anti-XZ ideas and annotations that you have to read?
oscil8, Jun 02 2012

       Isn't this like saying you have a non-empty set of anti elements?
Cuit_au_Four, Jun 02 2012

       // Isn't this like saying you have a non-empty set of anti elements? //   

       Suppose you have a non-empty set of elements and anti-elements: {1', 2', 1, 2}, the classical set would still have 4 elements, but this non-classical set has 0 elements. So, it is not just the idea of anti-elements. It's a property of the set, in context of anti-elements.
Inyuki, Jun 02 2012

       yup, those are words
Voice, Jun 02 2012

       //he'll likely walk the plank// methinks he's done that before.   

       How'd you think he got the name 'Bob'?
lurch, Jun 03 2012

       Hmmmm.... this makes me want to try and create an array of negative length to see what happens. Throws an error, I suspect.   

       Two anti buns and three buns for you!
not_only_but_also, Jun 04 2012

       What about negative zero?
Nobody ever thinks about negative zero.

       //Nobody ever thinks about negative zero.//   

       I've seen it in quite a few solutions. Admittedly, primarily when the limit approaches zero from the negative side.
MechE, Jun 04 2012

       //array of negative length to see what happens// Yesterday I was messing around with some python code, writing a class to handle some geolocation data. It was built to always reject the first line of data (column headers), so it would, kinda, be like starting with a negative size.
lurch, Jun 04 2012

       I will give this idea a negative fishbone.
pocmloc, Jun 04 2012

       This reminds me of a joke: A mathematician is looking at a house, and one person enters the house and then two people come out. His remark: "If one more person goes into the house, it will be empty!"
phundug, Jun 05 2012

       this reminds me of the importance of understanding the difference between math and science and how it's important to understand exactly what the math is meant to represent.   

       I think half the lunacy that occurs in quantum physics can be explained by this misunderstanding, since apparently they actually come up with theories almost purely from math (from what I read). And it is indeed lunacy; there's no way there could be more than three spatial dimensions, and if there arem they will always be meaningless to us with our limited perception. Any math trying to model such a world will always be meaningless on the human scale, and can't be truly groked by humans.   

       phundug's joke represents the dilemma perfectly
EdwinBakery, Jun 05 2012

       [EdwinBakery], I agree with what you say, except for 4 statements, starting with // there's no way there could be more than three spatial dimensions //.
Inyuki, Jun 05 2012

       I would also agree with [Edwin], apart from the bits between   

       //this reminds of the// and //dilemma perfectly//
UnaBubba, Jun 05 2012

       //Any math trying to model such a world will always be meaningless on the human scale//   

       If by "meaningless" you mean "useless" or "academic" then, with all due respect, bollocks. Quantum mechanics may be only an approximation, but it's essentially abstract and you wouldn't be reading this on a computer if it weren't directly applicable.   

       As for being understandable, I suspect that understanding comes partly with experience. If some way were found to make some of the stranger predictions of physics experiable, I think there's a good chance humans would be able to understand them.
MaxwellBuchanan, Jun 05 2012

       //I think half the lunacy that occurs in quantum physics can be explained by this misunderstanding// Well, what about the other half?
sqeaketh the wheel, Jun 06 2012

       We are the half bakery after all [sqeaketh]. Half is good enough.
AusCan531, Jun 06 2012

       [+] I didn't particularly enjoy sets education in grammar school, but found it was much more interesting when I as able to experience it with members of the opposite sets.
csea, Jun 06 2012

       So a union of a set with it's anti-set (the set of anti-elements for each element of the initial set) would be the empty set.   

       In this regime, unions of elements and elements, or anti-elements and anti-elements would all work as usual. As would intersections.   

       But unions of sets and antisets would become their symmetric difference, and as scad scientist points out, it screws up the order invariance of set operations.   

       However, there is a generalisation; instead of just having elements and anti-elements, have countable numbers of elements which can be negative. So traditional sets are just sets with a count of 1, and a union is a max(nA,nB) of the numbers of the element in A and B.   

       Thus if A = {1(-1), 2(-1)} B = {2(+1)} C = {2(+1), 3(+1)}   

       Then a count-keeping version of union Uc:   

       A Uc B Uc C: A Uc (B Uc C) = {1(-1), 2(-1)} Uc {2(+2), 3(+1)} = {1(-1), 2(+1), 3(+1)} (A Uc B) Uc C = {1(-1)} Uc {2(+1),3(+1)} = {1(-1), 2(+1), 3(+1)}.   

       In this algebra, every set (including the empty set) is in fact a set of all possible elements, where any elements not in the sets are equivalent to members with a count of zero.
imagin8or, Jun 06 2012

       //Those don't exist in the accountancy literature I would venture.//

Accruals. For example, I finish Year 1 with £25 income owing to me, so I enter a journal crediting my I&E account with an extra £25 income and debit £25 to debtors on the balance sheet. The journal is reversed into the next accounting period (Year 2) giving me a starting position of £25 debit on I&E and net total movements of zero on my balance sheet debtors. When the payment eventually comes in, you post a debit against cash on the balance sheet and the other side of the entry cancels out the accrual in I&E so that my net income for the period shows as zero. Accountancy.
DrBob, Jun 06 2012


back: main index

business  computer  culture  fashion  food  halfbakery  home  other  product  public  science  sport  vehicle