Euclidean Geometry • Equitable Distributing • Linear Programming • Set Theory • Nonstandard Analysis • Advice • Topology • Number Theory • Computation of Time (Previous | Next)

The following results in the branches set theory, nonstandard analysis, topology, Euclidean geometry, number theory, linear programming and theoretical informatics are brilliant achievements! Known statements and elementary concepts such as axiom, field, etc., are as given in the relevant literature or on Wikipedia. Hence, only deviating and clarifying definitions will follow.

Unlike conventional usage in which brackets denote a more detailed explanation, bracketed parts of a statement can either be included or excluded: the statement is valid in both cases. The symbol \(\square\) finishes a proof whereas \(\triangle\) terminates a definition. The world’s finiteness creates certain difficulties to handle the infinite. If numbers are zeros of a polynomial having rational coefficients, whose largest exponent of its argument is its degree, they are called algebraic, otherwise transcendental.

It may be considered whether the number of elements of the set of algebraic numbers is to define finite or infinite. Algebra teaches that the sum, difference, product, and quotient of two algebraic numbers of natural degree \(m\) or \(n\) are algebraic of degree at most \(mn\), and that the \(1/m\)-th power of an algebraic number of degree \(n\) is also algebraic of degree at most \(mn\). Transcendental numbers can be viewed as the sum of an algebraic part and a transcendental remainder.

When investigating whether a number is transcendental, if the remainder may be expressed as the limit value of a zero sequence \(\left({a}_{n}\right)\), the values of the sequence for large \(n\) may not be simply disregarded: They are important. Transcendental numbers are the numbers that lie between algebraic numbers or on either side of them. Number theory shows, if two distinct transcendental numbers (algebraic of degree \(m\)) are sufficiently close, that there is no algebraic number (of degree \(< m\)) between them.

Together with the finite rational numbers, the infinite (complex-)rational ones already numerically make up the entirety of all real (complex) numbers. Therefore, algebraic and transcendental numbers are (numerically) difficult to distinguish, and approximations are of little use when determining whether a number is algebraic (to a certain degree). Real continued fractions that do not terminate as a rational number are transcendental, since they are infinite rational. They can only be used as an approximation of algebraic numbers.

Since all real numbers are approximately (infinite) rational numbers, they can be computed in real-time. Transcendental numbers allow to be satisfied with an arbitrarily precise infinitesimal number, unlike in the case of algebraic numbers, where it can be argued using the corresponding minimal polynomial or series. They therefore may be represented in the form of a rational quotient with infinite numerator and denominator. Definitions are better suited than axioms.

The finite definition offers significant advantages of handling and is traditional. It is shown that the sets of natural, integer, rational, algebraic, real or complex numbers are not closed. Hence, the difference of algebraic numbers is no longer necessarily algebraic, what complicates the theory of transcendental numbers. An infinite rational and transcendental number can also consist of a finite continued fraction. Here the last partial denominator can be infinitely big.

If it would be identified with a conventionally rational number by setting the last partial fraction equal to zero, it would simultaneously solve a linear equation with (infinite) integer coefficients. This identification leads to contradictions, if the first equation is subtracted several times from the second one and the solution of every newly emerged equation is determined.

It is correct to work with approximate fractions. (Conventionally natural and infinite natural) induction can show that, starting with the set of conventionally natural numbers, it can be diagonalised up to any power according to Cantor, so that all(!) infinite sets are equipotent to the set of conventionally natural numbers if Hilbert's translations are used as an aid.

This contradictoriness is met with the theorem that there is for no set a bijection to its proper subset. Hence, Dedekind-infinity and Hilbert's hotel are refuted, since the image sets of translations of every set lead out of the latter. Every number of elements of a set can be specified by reference to the set of conventionally natural numbers. This can be obtained only by precisely prescribing the exact construction.

It is something completely different whether all multiples of five are considered and thereby the associated set is constructed in such a way that each conventionally natural number is multiplied by five, or whether all numbers are removed, up to each fifth, from the set of the conventionally natural numbers. Cantor regarded such sets as of the same cardinal number. If instead bijections are correctly considered, this gives a different picture. The fuss made so far over ordinal and cardinal numbers is omitted.

Cantor's distinction between merely countable and uncountable sets is too undifferentiated. The correct treatment of bijections yields the statement that, concerning the number, there are infinite many sets between the set of conventionally natural numbers and the one of conventionally real numbers. Thus, the continuum hypothesis gets a new answer. Furthermore, the asymptotic function of the number of algebraic numbers is determined.

The set \(\mathbb{R}\) of all real numbers is isomorphic to a set of (hyper-) natural or integer numbers. It has both a fixed minimum element and a fixed maximum element, since \(\mathbb{R}\) is viewed holistically and completely, from which its closure is obtained together with the field axioms. Otherwise, the former theory would have to be repeatedly adapted to the circumstances. Numbers noted as sequences are plain unwieldy.

The conventional irrationality proof of \(\sqrt{2}\) shows some dialectics and \(\mathbb{R}\) contains the multiplicative inverses usually only approximately. Many of the conclusions derived here can be extended to sets with other upper and lower bounds and more generally to metric spaces. The results will not be listed for which this is possible since the associated arguments are easy. In practice (of computer science), sufficiently small formal systems often help.

A disk without its boundary conventionally represents an open set, because then each point of it has a conventional neighbourhood that lies completely in this set. If the points are considered on a half-line, starting at the centre of the disk, there must be always a real neighbourhood for each point on this half-line towards the boundary. That was the idea before.

In fact, however, "the end of the flagpole" must sometime be reached. So there must be a point in the interior of the disk, which has no conventional neighbourhood in this interior. Therefore, the term openness for sets is inept. If the unit disk is considered around the origin of ordinates, so the last point of the half-line \([0, 1[\), dually represented, is the point \(0.\overline{1}_{2}\) and the next point is the boundary point 1.

Between these two points lies no other point. The former has no neighbourhood that lies in the interior of the disk, though it is an interior point. For this reason, the disk without boundary is also closed, since the last points of the half-line form, beginning from the centre of the disk, just the closure as boundary. Since the neighbourhoods do not exist on their boundary, the term closure is meaningless for sets in Euclidean space.

Therefore, it holds that at least in Euclidean space every open set is also closed, what reduces these terms to absurdity. This has not been further annoying, since infinitesimal quantities so far were not considered in a differentiated manner, thus in particular the numbers 1 and \(0.\overline{1}_{2}\) were equated. However, this is incorrect as is explained in Number Theory, since otherwise algebraicity (1) and transcendence \((0.\overline{1}_{2})\) are equated.

The absurd shows itself also by an infinite intersection of open sets such as by all open concentric disks forming a closed set (the common centre of the disk). An infinite union of closed sets can build an open set as an open disk does, as a union of all its points as closed sets.

A 0-dimensional set (point) is therefore open, because every neighbourhood, also consists of one point. Hence, the empty set \(\emptyset\) is also closed, and as a consequence the whole Euclidean space is closed. Using spheres, that what has been said can easily be generalised to higher dimensions. The terms of the inner and outer point remain meaningful however, if any infinitesimal radiuses are permitted.

Since an absurd and meaningless special case may involve the general one, openness or closure of sets should not be considered also for metric and topological spaces, particularly since the definition of a conventional topological space appears oddly content-free and arbitrary, while the terms of interior and exterior point as well as boundary point are still useful and appropriate.

The Riemann series theorem is false, since summing positive summands to a desired value forces to add negative values until the original sum is attained, and vice versa. The same is true in the case that a smaller or larger value is obtained than the sum of the positive or negative terms, since the remainders almost fully cancel, and so on. Choosing arbitrary methods to deal with infinities must be avoided if making mistakes should be avoided, too.

The existence of something may not be neglected because it is stored at infinity. The definition of the exact integral in Nonstandard Analysis according to a rectangular rule maybe require error estimations (see the literature on Numerical Mathematics). Note that the continuity of neither integral nor derivative is assumed. An alternative definition of the exact volume integral may be given as described further below. However, the original definitions are easier to manipulate.

In some cases, suitable Landau notation may be useful. If the result of differentiation lies outside of the domain, the closest number within the domain should replace it. If this is not uniquely determined, the result can either be given as the set of all such numbers, or the preferred result may be selected (e.g. according to a uniform rule). Actual integration as the inverse operation to differentiation only makes sense for continuous functions if there is a wish to go beyond simple summation.

However, if the function values can be expressed in the form of finitely many continuous functions whose antiderivatives may be computed in finite time, integrals may be calculated even for discontinuous functions, if necessary, by appropriately applying the Euler-Maclaurin summation formula and other simplification techniques. The exact integral is more general than Riemann, Lebesgue(-Stieltjes) integral and other types of integral.

The latter exist only in conventionally measurable sets, and function values may skip values, which are not measured then. Five examples given in Nonstandard Analysis illustrate its superiority and the strength of using infinitesimal and infinite values. The examples of functions are only so simple for purposes of illustration. In particular, mid- and infinite sets will be considered that are conventionally non-measurable, and functions that are conventionally discontinuous.

The definition of real numbers via Dedekind cuts is thus just as unsuitable as its definition via equivalence classes of rational Cauchy sequences. Conventional differentiation and integration lose the ability to distinguish between transcendental and algebraic in the conventional process of taking limits. This is e.g. problematic when there is a wish to determine the roots of a polynomial exactly. Therefore, the conventional analysis cannot be preserved in its existing form and requires practicable alternatives.

Since individual \(n\)-ness belongs to every natural number \(n\) that cannot be derived from its predecessors or successors, there is no complete system of axioms in mathematics, because something irreducible new emerges with each new number. By confining, however, to selected aspects, a finite system of axioms can be specified for a finite number of entities. Each level of infinity refuses completeness even more.

Mathematics is not value-free. Theories are based on presuppositions. In mathematics, they are often expressed by axioms prove to be true or false resp. to justify. Thus, all theories are incomplete and, as the case may be, beyond that, contradictory. Instead of explicit axioms, implicit definitions are more suitable in that the existence of the specified is tacitly presupposed with all emerging difficulties, until refutation.

The Euclidean geometry gives three definitions that challenge several axioms, using results of set theory. The question of a fair distribution of persons deals less about the theoretical content than about practical application. Here a spreadsheet analysis is used. The set theory defines some new sets and states generally their number, especially for the algebraic numbers.

The nonstandard analysis redefines integration, differentiation, continuity, convergence and limit value for finite and infinite and maybe conventionally not measurable sets possibly by considering their homogeneity and gives examples, as well as for discontinuous functions, to obtain better, more precise, more elegant or simply correct mathematical statements also for known theorems of analysis. It solves the measure problem.

The advice is the result of my mathematical experience and discusses appropriate ways and procedures for solving mathematical problems. The topology redefines the (simple) connectedness of sets and states the real and complex numbers as spaces only with Fréchet topology resp. without Hausdorff property.

In number theory, necessary and sufficient criteria for transcendental numbers are stated with some new examples. The conjecture by Littlewood is refuted and conventionally proven. The limit, coefficient and approximation theorem and the largest prime criterion are proved. Roth's theorem and the abc conjecture are disproved. The conjecture by Alaoglu and Erdős is proved and the generalised Riemann hypothesis is disproved.

The linear programming proves first the diameter theorem for polytopes. The known exponential simplex method with a new perturbation method is confronted with the polynomial intex method, which also solves linear systems. Since its misuse can quickly lead to non-transparent and bad decisions, no details are published, although it can prove most beneficial for persons of ethically high standing.

In the computation of time, it is shown how the octal system can be used practically worldwide and what the advantages are here. Besides introducing a new calendar and a new calculation of clock time, the octal system is applied also to the SI-units metre (m) and second (s). It is reasoned with practical examples why completely replacing the decimal system by the octal one is advantageous.

Using \(1/\infty\) instead of 0 avoids a division by 0 and any vague notions of limits but requires considering carefully where this replacement makes sense to invoke no contradiction by switching the symbols. This also allows to define integrals and differentials for each operation on real and complex numbers in such a way that every function is at least directionally integrable and differentiable wherever the function values are defined.

Beauty and elegance in mathematics can be ensured by adequately thinking through what is to be presented and without being stingy, reducing it to the clear essence, which justifies both and is a hallmark of the true. Unfortunately, there is a lot of ugly long in the mathematical world. It is to be hoped that this homepage can provide a lot of pleasure with the mathematics and gives insight into the real good and beautiful. Who likes it, may realise both of it!

© 2002-2020 by Boris Haase

• privacy policy • disclaimer • pdf-version • bibliography • subjects • definitions • statistics • php-code • rss-feed • mwiki • top