Restricted partial quotients

Restricted partial quotients

In mathematics, and more particularly in the analytic theory of regular continued fractions, an infinite regular continued fraction "x" is said to be "restricted", or composed of "restricted partial quotients", if the sequence of denominators of its partial quotients is bounded; that is:x = [a_0;a_1,a_2,dots] = a_0 + underset{i=1}{overset{infty}{K frac{1}{a_i},,

and there is some positive integer "M" such that all the (integral) partial denominators "ai" are less than or equal to "M". [cite book|last = Rockett|first = Andrew M.|coauthors = Szüsz, Peter|title = Continued Fractions|publisher = World Scientific|date = 1992|isbn = 981-02-1052-3] [For a fuller explanation of the K notation used here, please see this article.]

Periodic continued fractions

A regular periodic continued fraction consists of a finite initial block of partial denominators followed by a repeating block; if

:zeta = [a_0;a_1,a_2,dots,a_k,overline{a_{k+1},a_{k+2},dots,a_{k+m] ,,

then ζ is a quadratic irrational number, and its representation as a regular continued fraction is periodic. Clearly any regular periodic continued fraction consists of restricted partial quotients, since none of the partial denominators can be greater than the largest of "a"0 through "a""k"+"m". Historically, mathematicians studied periodic continued fractions before considering the more general concept of restricted partial quotients.

Restricted CFs and the Cantor set

The Cantor set is a set "C" of measure zero from which a complete interval of real numbers can be constructed by simple addition – that is, any real number from the interval can be expressed as the sum of exactly two elements of the set "C". The usual proof of the existence of the Cantor set is based on the idea of punching a "hole" in the middle of an interval, then punching holes in the remaining sub-intervals, and repeating this process "ad infinitum".

The process of adding one more partial quotient to a finite continued fraction is in many ways analogous to this process of "punching a hole" in an interval of real numbers. The size of the "hole" is inversely proportional to the next partial denominator chosen – if the next partial denominator is 1, the gap between successive convergents is maximized.

To make the following theorems precise we will consider CF("M"), the set of restricted continued fractions whose values lie in the open interval (0, 1) and whose partial denominators are bounded by a positive integer "M" – that is,

:mathrm{CF}(M) = { [0;a_1,a_2,a_3,dots] : 1 leq a_i leq M }.,

By making an argument parallel to the one used to construct the Cantor set two interesting results can be obtained.
* If "M" ≥ 4, then any real number in an interval can be constructed as the sum of two elements from CF("M"), where the interval is given by

:(2 imes [0;overline{M,1}] , 2 imes [0;overline{1,M}] ) =left(frac{1}{M} left [sqrt{M^2 + 4M} - M ight] , sqrt{M^2 + 4M} - M ight).

*A simple argument shows that {scriptstyle [0;overline{1,M}] - [0;overline{M,1}] gefrac{1}{2 holds when "M" ≥ 4, and this in turn implies that if "M" ≥ 4, every real number can be represented in the form "n" + CF1 + CF2, where "n" is an integer, and CF1 and CF2 are elements of CF("M"). [cite journal|last = Hall|first = Marshall|title = On the Sum and Product of Continued Fractions|journal = The Annals of Mathematics|volume = 48|issue = 4|date = Oct 1947|pages = 966–993|url = http://links.jstor.org/sici?sici=0003-486X%28194710%292%3A48%3A4%3C966%3AOTSAPO%3E2.0.CO%3B2-B|doi = 10.2307/1969389]

ee also

*Markov spectrum

References


Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • Continued fraction — Finite continued fraction, where a0 is an integer, any other ai are positive integers, and n is a non negative integer. In mathematics, a continued fraction is an expression obtained through an iterative process of representing a number as the… …   Wikipedia

  • Periodic continued fraction — In mathematics, an infinite periodic continued fraction is a continued fraction that can be placed in the form:x = a 0 + cfrac{1}{a 1 + cfrac{1}{a 2 + cfrac{ddots}{quadddotsquad a k + cfrac{1}{a {k+1} + cfrac{ddots}{quadddotsquad a {k+m 1} +… …   Wikipedia

  • List of mathematics articles (R) — NOTOC R R. A. Fisher Lectureship Rabdology Rabin automaton Rabin signature algorithm Rabinovich Fabrikant equations Rabinowitsch trick Racah polynomials Racah W coefficient Racetrack (game) Racks and quandles Radar chart Rademacher complexity… …   Wikipedia

  • Quadratic irrational — In mathematics, a quadratic irrational, also known as a quadratic irrationality or quadratic surd, is an irrational number that is the solution to some quadratic equation with rational coefficients. Since fractions can be cleared from a quadratic …   Wikipedia

  • mathematics — /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… …   Universalium

  • Nichols algebra — The Nichols algebra of a braided vector space (with the braiding often induced by a finite group) is a braided Hopf algebra which is denoted by and named after the mathematician Warren Nichols. It takes the role of quantum Borel part of a pointed …   Wikipedia

  • Surreal number — In mathematics, the surreal number system is an arithmetic continuum containing the real numbers as well as infinite and infinitesimal numbers, respectively larger or smaller in absolute value than any positive real number. The surreals share… …   Wikipedia

  • Group (mathematics) — This article covers basic notions. For advanced topics, see Group theory. The possible manipulations of this Rubik s Cube form a group. In mathematics, a group is an algebraic structure consisting of a set together with an operation that combines …   Wikipedia

  • Systolic geometry — In mathematics, systolic geometry is the study of systolic invariants of manifolds and polyhedra, as initially conceived by Charles Loewner, and developed by Mikhail Gromov and others, in its arithmetic, ergodic, and topological manifestations.… …   Wikipedia

  • arithmetic — arithmetically, adv. n. /euh rith meuh tik/; adj. /ar ith met ik/, n. 1. the method or process of computation with figures: the most elementary branch of mathematics. 2. Also called higher arithmetic, theoretical arithmetic. the theory of… …   Universalium

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”