zhegalkin polynomial

20
Zhegalkin polynomial From Wikipedia, the free encyclopedia

Upload: man

Post on 04-Sep-2015

75 views

Category:

Documents


13 download

DESCRIPTION

1. From Wikipedia, the free encyclopedia2. Lexicographical order

TRANSCRIPT

  • Zhegalkin polynomialFrom Wikipedia, the free encyclopedia

  • Contents

    1 Algebraic number 11.1 Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.2 Properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21.3 The eld of algebraic numbers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21.4 Related elds . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2

    1.4.1 Numbers dened by radicals . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31.4.2 Closed-form number . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3

    1.5 Algebraic integers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31.6 Special classes of algebraic number . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41.7 Notes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41.8 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5

    2 Rational number 62.1 Terminology . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62.2 Arithmetic . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6

    2.2.1 Embedding of integers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72.2.2 Equality . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72.2.3 Ordering . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72.2.4 Addition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72.2.5 Subtraction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72.2.6 Multiplication . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72.2.7 Division . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72.2.8 Inverse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82.2.9 Exponentiation to integer power . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8

    2.3 Continued fraction representation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82.4 Formal construction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82.5 Properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102.6 Real numbers and topological properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112.7 p-adic numbers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112.8 See also . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112.9 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112.10 External links . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12

    i

  • ii CONTENTS

    3 Zhegalkin polynomial 133.1 Boolean equivalent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133.2 Formal properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133.3 Method of Computation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14

    3.3.1 The method of Indeterminate Coecents . . . . . . . . . . . . . . . . . . . . . . . . . . 143.3.2 Using PDCF . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14

    3.4 Related work . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 143.5 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 143.6 See also . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 153.7 Text and image sources, contributors, and licenses . . . . . . . . . . . . . . . . . . . . . . . . . . 16

    3.7.1 Text . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 163.7.2 Images . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 163.7.3 Content license . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17

  • Chapter 1

    Algebraic number

    An algebraic number is a possibly complex number that is a root of a nite,[1] non-zero polynomial in one variablewith rational coecients (or equivalently by clearing denominators with integer coecients). Numbers suchas that are not algebraic are said to be transcendental. Almost all real and complex numbers are transcendental.(Here almost all has the sense all but a countable set"; see Properties.)

    1.1 Examples The rational numbers, expressed as the quotient of two integers a and b, b not equal to zero, satisfy the abovedenition because x = a/b is the root of bx a .[2]

    The quadratic surds (irrational roots of a quadratic polynomial ax2+bx+c with integer coecients a , b , andc ) are algebraic numbers. If the quadratic polynomial is monic (a = 1) then the roots are quadratic integers.

    The constructible numbers are those numbers that can be constructed from a given unit length using straightedgeand compass and their opposites. These include all quadratic surds, all rational numbers, and all numbers thatcan be formed from these using the basic arithmetic operations and the extraction of square roots. (Note thatby designating cardinal directions for 1, 1, i , and i , complex numbers such as 3 + p2i are consideredconstructible.)

    Any expression formed from algebraic numbers using any combination of the basic arithmetic operations andextraction of nth roots gives another algebraic number.

    Polynomial roots that cannot be expressed in terms of the basic arithmetic operations and extraction of nthroots (such as the roots of x5 x + 1 ). This happens with many, but not all, polynomials of degree 5 orhigher.

    Gaussian integers: those complex numbers a+ bi where both a and b are integers are also quadratic integers.

    Trigonometric functions of rational multiples of (except when undened): that is, the trigonometric numbers.For example, each of cos(/7) , cos(3/7) , cos(5/7) satises 8x34x24x+1 = 0 . This polynomial isirreducible over the rationals, and so these three cosines are conjugate algebraic numbers. Likewise, tan(3/16), tan(7/16) , tan(11/16) , tan(15/16) all satisfy the irreducible polynomial x4 4x3 6x2 + 4x+ 1 ,and so are conjugate algebraic integers.

    Some irrational numbers are algebraic and some are not: The numbers p2 and 3p3/2 are algebraic since they are roots of polynomials x2 2 and 8x3 3 ,respectively.

    The golden ratio is algebraic since it is a root of the polynomial x2 x 1 . The numbers and e are not algebraic numbers (see the LindemannWeierstrass theorem);[3] hence theyare transcendental.

    1

  • 2 CHAPTER 1. ALGEBRAIC NUMBER

    1.2 Properties

    Algebraic numbers on the complex plane colored by degree. (red=1, green=2, blue=3, yellow=4)

    The set of algebraic numbers is countable (enumerable).[4][5]

    Hence, the set of algebraic numbers has Lebesgue measure zero (as a subset of the complex numbers), i.e."almost all" complex numbers are not algebraic.

    Given an algebraic number, there is a unique monic polynomial (with rational coecients) of least degree thathas the number as a root. This polynomial is called its minimal polynomial. If its minimal polynomial hasdegree n , then the algebraic number is said to be of degree n . An algebraic number of degree 1 is a rationalnumber. A real algebraic number of degree 2 is a quadratic irrational.

    All algebraic numbers are computable and therefore denable and arithmetical.

    The set of real algebraic numbers is linearly ordered, countable, densely ordered, and without rst or lastelement, so is order-isomorphic to the set of rational numbers.

    For real numbers a and b, the complex number a + bi is algebraic if and only if both a and b are algebraic.[6]

    1.3 The eld of algebraic numbersThe sum, dierence, product and quotient of two algebraic numbers is again algebraic (this fact can be demonstratedusing the resultant), and the algebraic numbers therefore form a eld Q (sometimes denoted by A, though this usu-ally denotes the adele ring). Every root of a polynomial equation whose coecients are algebraic numbers is againalgebraic. This can be rephrased by saying that the eld of algebraic numbers is algebraically closed. In fact, it is thesmallest algebraically closed eld containing the rationals, and is therefore called the algebraic closure of the rationals.The set of real algebraic numbers itself forms a eld.[7]

    1.4 Related elds

  • 1.5. ALGEBRAIC INTEGERS 3

    Algebraic numbers colored by degree (blue=4, cyan=3, red=2, green=1). The unit circle in black.

    1.4.1 Numbers dened by radicals

    All numbers that can be obtained from the integers using a nite number of integer additions, subtractions, multiplications,divisions, and taking nth roots where n is a positive integer (i.e, radical expressions) are algebraic. The converse,however, is not true: there are algebraic numbers that cannot be obtained in this manner. All of these numbers aresolutions to polynomials of degree 5. This is a result of Galois theory (see Quintic equations and the AbelRunitheorem). An example of such a number is the unique real root of the polynomial x5 x 1 (which is approximately1.167304).

    1.4.2 Closed-form number

    Main article: Closed-form number

    Algebraic numbers are all numbers that can be dened explicitly or implicitly in terms of polynomials, starting fromthe rational numbers. Onemay generalize this to "closed-form numbers", whichmay be dened in various ways. Mostbroadly, all numbers that can be dened explicitly or implicitly in terms of polynomials, exponentials, and logarithmsare called elementary numbers, and these include the algebraic numbers, plus some transcendental numbers. Mostnarrowly, one may consider numbers explicitly dened in terms of polynomials, exponentials, and logarithms thisdoes not include algebraic numbers, but does include some simple transcendental numbers such as e or log(2).

    1.5 Algebraic integersMain article: Algebraic integerAn algebraic integer is an algebraic number that is a root of a polynomial with integer coecients with leadingcoecient 1 (a monic polynomial). Examples of algebraic integers are 5 + 132, 2 6i, and 12(1 + i3). Note,therefore, that the algebraic integers constitute a proper superset of the integers, as the latter are the roots of monicpolynomials x k for all k Z. In this sense, algebraic integers are to algebraic numbers what integers are to rationalnumbers.

  • 4 CHAPTER 1. ALGEBRAIC NUMBER

    Algebraic numbers colored by leading coecient (red signies 1 for an algebraic integer).

    The sum, dierence and product of algebraic integers are again algebraic integers, which means that the algebraicintegers form a ring. The name algebraic integer comes from the fact that the only rational numbers that are algebraicintegers are the integers, and because the algebraic integers in any number eld are in many ways analogous to theintegers. If K is a number eld, its ring of integers is the subring of algebraic integers in K, and is frequently denotedas OK. These are the prototypical examples of Dedekind domains.

    1.6 Special classes of algebraic number Gaussian integer Eisenstein integer Quadratic irrational Fundamental unit Root of unity Gaussian period PisotVijayaraghavan number Salem number

    1.7 Notes[1] In order for a number to be algebraic, it has to be the root of a nite, non-zero polynomial. Pi, commonly known to be

    transcendental, is a root of sin(x) which is analytic (meaning that it is equal to its innite Taylor series). Thus transcendentalnumbers can be roots of polynomials, but only if those polynomials are innite.

    [2] Some of the following examples come from Hardy and Wright 1972:159160 and pp. 178179

    [3] Also Liouvilles theorem can be used to produce as many examples of transcendentals numbers as we please, cf Hardyand Wright p. 161

    [4] Hardy and Wright 1972:160 / 2008:205

  • 1.8. REFERENCES 5

    [5] Niven 1956, Theorem 7.5.

    [6] Niven 1956, Corollary 7.3.

    [7] Niven 1956, p. 92.

    1.8 References Artin, Michael (1991), Algebra, Prentice Hall, ISBN 0-13-004763-5, MR 1129886 Hardy, G.H. and Wright, E.M. 1978, 2000 (with general index) An Introduction to the Theory of Numbers: 5th

    Edition, Clarendon Press, Oxford UK, ISBN 0-19-853171-0 Ireland, Kenneth; Rosen, Michael (1990), A Classical Introduction to Modern Number Theory, Graduate Textsin Mathematics 84 (Second ed.), Berlin, New York: Springer-Verlag, ISBN 0-387-97329-X, MR 1070716

    Lang, Serge (2002), Algebra, Graduate Texts in Mathematics 211 (Revised third ed.), New York: Springer-Verlag, ISBN 978-0-387-95385-4, MR 1878556

    Niven, Ivan 1956. Irrational Numbers, Carus Mathematical Monograph no. 11, Mathematical Association ofAmerica.

    Ore, ystein 1948, 1988, Number Theory and Its History, Dover Publications, Inc. New York, ISBN 0-486-65620-9 (pbk.)

  • Chapter 2

    Rational number

    Rationals redirects here. For other uses, see Rational (disambiguation).

    In mathematics, a rational number is any number that can be expressed as the quotient or fraction p/q of two integers,p and q, with the denominator q not equal to zero.[1] Since q may be equal to 1, every integer is a rational number.The set of all rational numbers is usually denoted by a boldface Q (or blackboard bold Q , Unicode );[2] it was thusdenoted in 1895 by Peano after quoziente, Italian for "quotient".The decimal expansion of a rational number always either terminates after a nite number of digits or begins torepeat the same nite sequence of digits over and over. Moreover, any repeating or terminating decimal representsa rational number. These statements hold true not just for base 10, but also for any other integer base (e.g. binary,hexadecimal).A real number that is not rational is called irrational. Irrational numbers include 2, , e, and . The decimalexpansion of an irrational number continues without repeating. Since the set of rational numbers is countable, andthe set of real numbers is uncountable, almost all real numbers are irrational.[1]

    The rational numbers can be formally dened as the equivalence classes of the quotient set (Z (Z \ {0})) / ~, wherethe cartesian product Z (Z \ {0}) is the set of all ordered pairs (m,n) where m and n are integers, n is not 0 (n 0),and "~" is the equivalence relation dened by (m1,n1) ~ (m2,n2) if, and only if, m1n2 m2n1 = 0.In abstract algebra, the rational numbers together with certain operations of addition and multiplication form thearchetypical eld of characteristic zero. As such, it is characterized as having no proper subeld or, alternatively,being the eld of fractions for the ring of integers. Finite extensions of Q are called algebraic number elds, and thealgebraic closure of Q is the eld of algebraic numbers.[3]

    In mathematical analysis, the rational numbers form a dense subset of the real numbers. The real numbers can beconstructed from the rational numbers by completion, using Cauchy sequences, Dedekind cuts, or innite decimals.Zero divided by any other integer equals zero; therefore, zero is a rational number (but division by zero is undened).

    2.1 TerminologyThe term rational in reference to the set Q refers to the fact that a rational number represents a ratio of two integers.In mathematics, the adjective rational often means that the underlying eld considered is the eld Q of rationalnumbers. Rational polynomial usually, and most correctly, means a polynomial with rational coecients, also calleda polynomial over the rationals. However, rational function does not mean the underlying eld is the rationalnumbers, and a rational algebraic curve is not an algebraic curve with rational coecients.

    2.2 ArithmeticSee also: Fraction (mathematics) Arithmetic with fractions

    6

  • 2.2. ARITHMETIC 7

    2.2.1 Embedding of integersAny integer n can be expressed as the rational number n/1.

    2.2.2 Equalityab =

    cd if and only if ad = bc:

    2.2.3 OrderingWhere both denominators are positive:

    ab 0 ^ m1n2 n1m2) _ (n1n2 < 0 ^ m1n2 n1m2):The integers may be considered to be rational numbers by the embedding that maps m to [(m,1)].

  • 10 CHAPTER 2. RATIONAL NUMBER

    2.5 Properties

    2/1

    3/1

    4/1

    1/1

    5/1

    6/1

    7/1

    8/1

    1/2 1/3 1/4 1/5 1/6 1/7 1/8

    2/2

    3/2

    4/2

    5/2

    6/2

    8/2

    7/2

    3/3

    2/3

    4/3

    5/3

    6/3

    7/3

    8/3

    2/4

    3/4

    4/4

    5/4

    6/4

    7/4

    8/4

    2/5

    3/5

    4/5

    5/5

    6/5

    7/5

    8/5

    2/6

    3/6

    4/6

    5/6

    6/6

    7/6

    8/6

    2/7

    3/7

    4/7

    5/7

    6/7

    7/7

    8/7

    2/8

    3/8

    4/8

    5/8

    6/8

    7/8

    8/8 ...

    ...

    ...

    ...

    ...

    ...

    ...

    ... ............... ... ...

    ...

    ...

    A diagram illustrating the countability of the rationals

    The set Q, together with the addition and multiplication operations shown above, forms a eld, the eld of fractionsof the integers Z.The rationals are the smallest eld with characteristic zero: every other eld of characteristic zero contains a copy ofQ. The rational numbers are therefore the prime eld for characteristic zero.The algebraic closure of Q, i.e. the eld of roots of rational polynomials, is the algebraic numbers.The set of all rational numbers is countable. Since the set of all real numbers is uncountable, we say that almost allreal numbers are irrational, in the sense of Lebesgue measure, i.e. the set of rational numbers is a null set.The rationals are a densely ordered set: between any two rationals, there sits another one, and, therefore, innitelymany other ones. For example, for any two fractions such that

    a

    b