Math Is Fun Forum

  Discussion about math, puzzles, games and fun.   Useful symbols: ÷ × ½ √ ∞ ≠ ≤ ≥ ≈ ⇒ ± ∈ Δ θ ∴ ∑ ∫ • π ƒ -¹ ² ³ °

You are not logged in.

#1 2011-12-01 02:22:47

TARAJS
Member
Registered: 2011-12-01
Posts: 19

Proofs and Logic Numerically Equivalent

I need to show how the Rationals (R) and the complex numbers (C) are logically equivalent. or in turn lCl=lR^2l

Help would be amazing! thank you!

Offline

#2 2011-12-01 11:53:16

John E. Franklin
Member
Registered: 2005-08-29
Posts: 3,588

Re: Proofs and Logic Numerically Equivalent

Aren't the rationals displayable on a number line, however the complex numbers
may need a plane if you use the real and imaginary parts as x and y components?
That's all I know of this.


igloo myrtilles fourmis

Offline

#3 2011-12-01 14:28:48

Bob
Administrator
Registered: 2010-06-20
Posts: 10,053

Re: Proofs and Logic Numerically Equivalent

hi TARAJS

I need to show how the Rationals (R) and the complex numbers (C) are logically equivalent. or in turn lCl=lR^2l

Sorry, but this isn't making sense to me.  sad

Sets of numbers are not statements so they cannot be logically equivalent.

http://en.wikipedia.org/wiki/Logical_equivalence

And |C| means the absolute value of C.  OK if C were a single value, but C is a set.

Please would you give more detail of how this question has arisen.  What are you studying?  Are you able to express your problem in a different way?

Bob


Children are not defined by school ...........The Fonz
You cannot teach a man anything;  you can only help him find it within himself..........Galileo Galilei
Sometimes I deliberately make mistakes, just to test you!  …………….Bob smile

Offline

#4 2011-12-01 14:53:56

VasiliY_Honda
Member
Registered: 2011-12-01
Posts: 17

Re: Proofs and Logic Numerically Equivalent

êòî íàõ ñêàæåòü ÷òî ÿïîíñêàÿ õîíäÿ ýòà ãÀâíÎ? àààà áëÅàòü? ....

Offline

#5 2011-12-01 14:55:26

VasiliY_Honda
Member
Registered: 2011-12-01
Posts: 17

Re: Proofs and Logic Numerically Equivalent

êòî íàõ ñêàæåòü ÷òî ÿïîíñêàÿ õîíäÿ ýòà ãÀâíÎ? àààà áëÅàòü? ....

Offline

#6 2011-12-01 15:21:11

TheDude
Member
Registered: 2007-10-23
Posts: 361

Re: Proofs and Logic Numerically Equivalent

I think he's asking about the cardinality of R versus the cardinality of C.


Wrap it in bacon

Offline

#7 2011-12-02 00:50:50

TARAJS
Member
Registered: 2011-12-01
Posts: 19

Re: Proofs and Logic Numerically Equivalent

I'm in a Proofs and Logic class in college. I'm in the chapter/section  on cardinality of sets/ uncountable sets. Previously in the lesson we learned that lrational numbersl = lnatural numbersl (and yes that does mean cardinality).  My professor is giving us extra credit if we can find how the rationals are numerically equivalent to the complex numbers. when you put something into the form lxl=lyl it means that x is numerically equivalent to y. it means that every x in the set/subset has a matching unit in y. The answer to the actual statement is yes they are logically equivalent i just need to show how.

Offline

#8 2011-12-02 01:21:27

TheDude
Member
Registered: 2007-10-23
Posts: 361

Re: Proofs and Logic Numerically Equivalent

The problem is that the cardinalities of the rationals the complex numbers are not equal.  The rationals are countable and the complex numbers are uncountable.  Either you're supposed to compare the reals and the complex numbers, or you're using some kind of reduced version of the complex numbers where the real and imaginary parts can only be rationals, or the problem is simply wrong.


Wrap it in bacon

Offline

#9 2011-12-02 02:37:42

careless25
Real Member
Registered: 2008-07-24
Posts: 560

Re: Proofs and Logic Numerically Equivalent

this might help:
http://en.wikipedia.org/wiki/Complex_number#Formal_construction

Offline

#10 2011-12-02 02:52:59

TARAJS
Member
Registered: 2011-12-01
Posts: 19

Re: Proofs and Logic Numerically Equivalent

the only other thing he put on the problem was that we can  do the rations and complex or that the rationals are numerically equvalent to the rationals squared... is that better?

Offline

#11 2011-12-02 03:51:20

Bob
Administrator
Registered: 2010-06-20
Posts: 10,053

Re: Proofs and Logic Numerically Equivalent

hi TARAJS

So we are talking about cardinality.

The set of all rationals is countable and has the same cardinality as the integers.

Where you have written down 'rationals' I think you should have said 'reals'.

The set of reals is bigger, and has the same cardinality as the set of all points in a plane and hence the complex numbers.

Start by looking at

http://en.wikipedia.org/wiki/Cardinality

Cardinal arithmetic can be used to show not only that the number of points in a real number line is equal to the number of points in any segment of that line, but that this is equal to the number of points on a plane and, indeed, in any finite-dimensional space.

You can find an outline of how this is proved at

http://en.wikipedia.org/wiki/Space-fill … _of_points

Hope that helps.  smile

Bob


Children are not defined by school ...........The Fonz
You cannot teach a man anything;  you can only help him find it within himself..........Galileo Galilei
Sometimes I deliberately make mistakes, just to test you!  …………….Bob smile

Offline

#12 2011-12-05 04:08:59

TARAJS
Member
Registered: 2011-12-01
Posts: 19

Re: Proofs and Logic Numerically Equivalent

i did mean reals! so sorry! and thank you very much for your help!

Offline

Board footer

Powered by FluxBB