Re: Kuratowski Ordered Pair

On Jan 5, 8:08 pm, noel etters wrote:
On Wed, 2 Jan 2008 18:06:26 -0800 (PST), MoeBlee <jazzm...@xxxxxxxxxxx>
wrote:

If we're not in a theory in the language of set theory then, yes, the
Kuratowski definition may be quite irrelevent. No one disputes that.
But so what?

        You're twisting my words.

I don't intend to. And you don't say in what way you think I have.

It is held that set theory axiomatizes virtually all of ordinary
mathematics. That, for some people, is a part of the reason for
studying set theory. So, in that sense, if we wern't using set theory,
then I agree that we'd have no (or virtually no, or quite little) use
for the Kuratowski definition.

It is no good
explaining that it satisfies the 'characteristic property'. What happens in
contexts in which sets like the Kuratowski are required to be both ordered
pairs and simply that particular kind of set?

WHAT particular kind of set?

        I simply mean a set of the form {{a}. {a, b}}

        The Kuratowski set is an encoding of the ordered pair. (This wasn't
my idea, but I'll use it.)  Yes, it is an effective encoding because it
satisfies the charateristic property (so-called). By 'effective' here we
mean that each distinct ordered pair will have a unique encoding. Another
immediate 'property' of the ordered pair is that (a, b) ~= (b, a) unless
a=b. One could base an encoding on this property, but it would not be
enough to ensure unique encodings. Effective here does not mean that it
captures any properties of the ordered pair. Indeed the meaning of the
ordered pair is irrelevant. It is effective in the same way that encoding
the letters of the English alphabet by the numbers 1 to 26 would be
effective. One can translate an English language statement into numbers
(with appropriate punctuation) and decode it back again. The only problem
that might arise is if we have an English language statement that combines
words and numbers (numerals). We could use number words, but suppose we
want to be able to use number-numerals. My point is that having shown that
the ordered pair can be encoded as a set, it isn't a case of
done-that-forget-it. Every time, in any context, a Kuratowski set appears,
we will have to know or decide there and then whether it functions as an
ordered pair or whether it functions simply as the native set.

I've never needed to make such a decision, as well as I don't know
what "native set" means.

Sure, every
time an ordered pair appears we can reduce it, replace it by the Kuratowski
set, but everytime a Kuratowski set appears we have to decide which it is,
native set or encoding for ordered pair.

I've never needed to make such a decision.

Have we really got rid ot the
notion of an ordered pair by this means?

Who said anything about "getting rid" of any notions?

MoeBlee

.

Relevant Pages

  • Re: Kuratowski Ordered Pair
    ... operation and mathematics seems to do just fine with the Kuratowski ... derive the notion of an ordered pair from the characteristic property. ... If one demanded that every formalization were ...
    (sci.math)
  • Re: Kuratowski Ordered Pair...is a set
    ... And with Kuratowski we do not have to presuppose any meaning to ... "The statement that x is the first element of an ordered pair p can ... i already miss Moe a bit. ... So You might go back to the very basics and try to differ cardinal ...
    (sci.math)
  • Re: Kuratowski Ordered Pair
    ... Kuratowski definition may be quite irrelevent. ... mean that each distinct ordered pair will have a unique encoding. ...
    (sci.math)
  • Re: Kuratowski Ordered Pair
    ... by a notion (e.g. of ordered pair) without having to fear that the ... Kuratowski has a twin, only the twin is like the embarrassing relative who ... Such nesting of course preserves the characteristic property, ... any insight into the "inherent nature" of the pair / sequence ...
    (sci.math)
  • Re: Kuratowski Ordered Pair
    ... This is a fine description of ordered pair. ... Some posters have talked about the Kuratowski set as an encoding of ... What the satisfaction of the characteristic property does ... suspecting that the Kuratowski set is only really justified ...
    (sci.math)