Authors: Ron Ragusa
In a previous paper, The Function f(x) = C and the Continuum Hypothesis, posted on viXra.org (viXra:1806.0030), I demonstrated that the set of natural numbers can be put into a one to one correspondence with the set of real numbers, f : N → R. In that paper I used the function f(x) = C to create an indexed array of the function’s real number domain d, the constant range, C, and the index value of each iteration of the function’s evaluation, i, for each member of the domain di. The purpose of the exercise was to provide constructive proof of Cantor’s continuum hypothesis which has been shown to be independent of the ZFC axioms of set theory. Because the domain of f(x) = C contains all real numbers, evaluating and indexing the function over the entire domain leads naturally to the bijective function f : N → R. In this paper I’ll demonstrate how the set of natural numbers N can be put into a one to one correspondence the power set of natural numbers, P(N). From this I will derive the bijective function f : N → P(N). Lastly, I’ll propose a conjecture asserting that f(x) = C can be employed to construct a one to one correspondence between the natural numbers and any infinite set that can be cast as the domain of the function.
Comments: 5 Pages. email: firstname.lastname@example.org
[v1] 2018-06-08 12:57:27
Unique-IP document downloads: 33 times
Vixra.org is a pre-print repository rather than a journal. Articles hosted may not yet have been verified by peer-review and should be treated as preliminary. In particular, anything that appears to include financial or legal advice or proposed medical treatments should be treated with due caution. Vixra.org will not be responsible for any consequences of actions that result from any form of use of any documents on this website.
Add your own feedback and questions here:
You are equally welcome to be positive or negative about any paper but please be polite. If you are being critical you must mention at least one specific error, otherwise your comment will be deleted as unhelpful.