DOCSLIB.ORG

High School Mathematics Glossary Pre-Calculus

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
High School Mathematics Glossary Pre-Calculus High School Mathematics Glossary Pre-calculus English-Chinese BOARD OF EDUCATION OF THE CITY OF NEW YORK Board of Education of the City of New York Carol A. Gresser President Irene H. ImpeUizzeri Vice President Louis DeSario Sandra E. Lerner Luis O. Reyes Ninfa Segarra-Velez William C. Thompson, ]r. Members Tiffany Raspberry Student Advisory Member Ramon C. Cortines Chancellor Beverly 1. Hall Deputy Chancellor for Instruction 3195 Ie is the: policy of the New York City Board of Education not to discriminate on (he basis of race. color, creed. religion. national origin. age. handicapping condition. marital StatuS • .saual orientation. or sex in itS eduacional programs. activities. and employment policies. AS required by law. Inquiries regarding compiiulce with appropriate laws may be directed to Dr. Frederick..6,.. Hill. Director (Acting), Dircoetcr, Office of Equal Opporrurury. 110 Livingston Screet. Brooklyn. New York 11201: or Director. Office for o ..·ij Rights. Depa.rtmenc of Education. 26 Federal PJaz:t. Room 33- to. New York. 'Ne:w York 10278. HIGH SCHOOL MATHEMATICS GLOSSARY PRE-CALCULUS ENGLISH - ClllNESE ~ 0/ * ~l.tt Jf -taJ ~ 1- -jJ)f {it ~t ~ -ffi 'ff Chinese!Asian Bilingual Education Technical Assistance Center Division of Bilingual Education Board of Education of the City of New York 1995 INTRODUCTION The High School English-Chinese Mathematics Glossary: Pre­ calculus was developed to assist the limited English proficient Chinese high school students in understanding the vocabulary that is included in the New York City High School Pre-calculus curricu lum. To meet the needs of the Chinese students from different regions, both traditional and simplified character versions are included. The bilingual mathematics teachers may also use this glossary as reference material. This is one of a series of English-Chinese glossaries that is being developed by the Chinese/Asian Bilingual Education Technical Assistance Center (CAB ETAC ), Division of Bilingual Education, Board of Education of the City of New York. The project is made possible by a grant from the Office of Bilingual Education, New York State Education Department. The following is a list of the glossary series . The Mathematics and Science glossaries will be available by the end of May, 1995. The Social Studies glossaries will be available by the end of September, 1995. The Mathematics Series: • Integrated Mathematics (Course I) • Integrated Mathematics (Course II) • Integrated Mathematics (Course III) • Pre-calculus • Calculus The Science Series: • High School General Science • J unior High School Science • Chemistry • Physics • Biology The Social Studies Series: • Global History 1 • Global History 2 • Global History 3 • Global History 4 • American Government • American History 1 • American History 2 For information or recommendation, contact CABETAC office, Division of Bilingual Education, c/o Seward Park High School, 350 Grand Street, Room 518, New York, NY 10002, Tel: (212) 677-0493 Fax: (212) 677-0398 . ACKNOWLEDGEMENTS Special acknowledgement is extended to: Wenhua Reyen, Mathematics teacher at Seward Park High School for developing the High School English-Chinese Mathematics Glossary: Pre-calculus; Annie Han, Consultant of Chinese/Asian Bilingual Education Technical Assistance Center (CABETAC) for reviewing; De-Kun Yuan, word processor of CABETAC, for coordinating the typing and printing; Eva Hsien, typist, for typing; and Jennifer Fung, secretary, for designing the cover; Dr. Frank Tang, previous Director and Mr. Peiqing Yang, previous Resource Specialist of CABETAC, for coordination of the Glossary Series; and Dr. Florence Pu-Folkes, Director of CABETAC, and Wendy Yang, Coordinator/Resource Specialist for supervising the completion of the Glossary Series. Special appreciation is extended to Dr. Lillian Hernandez, Executive Director of the Division of Bilingual Education, Board of Education of the City of New York, and Carmen Perez Hogan, Coordinator of the Office of Bilingual Education, New York State Education Department. Without their support, this project would never have been possible. CONTENTS Introduction ....... ........... ........ ....................... i Acknowledgements . .......... ... ... .............. ............. ii Traditional Character Version . .. ............ .. .............. ... 1 Simplified Character Version .............. ..................... 30 TRADITIONAL CHARACTERS A abridge division t1!'~~ ambiguous sign jtJli'lCi:;:!I!5tt abridged multiplication t1!'*~ amplitude of a periodic function l!J\ljiii§t\:lJR~ abridged notation ~1iC~ amplitude of function iii§~lJR~ abridged proof t1!'Hi!~ analogue ~ltl! adjacent vertices ;ffl~rn:~ analogue calculator ~ltl!ift:l't~ adjoining figure 1*,Mlil% analogue multiplier ~!J:ij<*~ adjoining rectangles 1*,MlJi!!% angle of inclination ~fff adjoining Venn diagram 1*'llil'l:JcJ3i;11ill angle of incidence AMfff adjoint determinant 1*,Mltr~tl;t angle of parallelism 'J!-trfff adjusted proportionally ilml~!t{fu angle of reflection liMfff admissible error ~iit~ anharmonic ratio 3I:!t; IF ar.J;;:U!t;:!I!!t advance estimate ¥1ltr#tiff-tli: anticommutative property li3l:i9'<i1'i( algebraic cone ~t\:~; 1tt\:~1lii antilogarithm R~t\: algebraic spiral 1tt\:~~ approximate convergence J.II{W&i!!: algebraically complete 1tll:'MllIl approximate expansion J.II{~J&Illl;t alternate determinant 3I:~1T~tl;t approximate the norm JI[{~~t\:, J.II{W;!,I.1* alternating positive and negative arbitrary parameter 1ftt~l\: arbitrary sequence 1ftt~tl alternative formula ~-0;t arithmetic progression JHfjli/k~ alternative symbolism ~-W'lCi: arithmetic series :jll:j;fjli/kl!: ambiguous data m~J':ti4 arithmetical series :jll:j;fjli/kj;fj, ~~~&l!: -1 - array ~7iJ; llc*ll. asymptotically equal jtllfrttl"ll asserti Dn J!TiE asymptotically equivalent ltlilfr"lliJ associative axiom t$15-0J.m augmented matrix ~~J;e~ astrDid liU[;i~ automorphic i3li'iJt/li!i9 ; i3;t-!i9 asymmetrical step functiDn ~f:;Hjl}~I1':t1\pj§~ automorphic function i3 ;t-pj§~ asymptDtic It\lfra~ automorphism i3liiHIli asymptDtic apprDximation ltlilfr:i!lfrl'ti: auxiliary circle i\!iIi[l!!J)1!il asymptotic characteristic ltlilfrtif'11 axiom of comparison ttilR0l111 asymptotic circle ltllfrllil axiomatic 0l111S9 asymptotic series ltlilfr~llc axioms of order ~Jf.0ll1! - 2- B base vectors il\!i[!;]:!i bound for the magnitude lttMIi9f!!.JI!! basis vector il\!i;$:[!;]:Il: boundary f!!.; iif!!.; ii~ binomial distribution =l:'Ii::51-~ boundary complex iif!!.fj[JB binomial theorem =l:'Ii:JtJEJlll. boundary line f!l.tilIi biorthogonal 1!J!iE:9: boundary maxima and minima bisecant =~jIf~~ ii~;fil!*f!l;fil!/J' block of digits -fi§.1ll:'¥ boundary of half- plane ¥-'¥'iliili9f!1.~~ Boolean algebra ;tp1>liff"t1ll: bounded 1if!l.1i9 Boolean expression ;tp1>lif*JiJt bounded above J:1if!!.1i9 Boolean factor .:(P1>lifE§.y bounded below T1i f!!.1i9 bound f!!.; iif!!.; M1* Briggsian logarithm 1jt fflltt1ll: -3- c cardioid ,L.'J!!£Ml comparison function tt~PEil\: center of curvature ilIl$.tjo,L.' complement of set 1m~ characteristic cone ~~Jit, ~~~1lii completeness jt~¥:t characteristic constant ~~'litl\: completeness of axiom systems characteristic curve ~~[ ilIl J~ 0l1BU1i:!B jt~¥:t characteristic determinant t¥~rrllJA components of a vector ioJ:lll:!B?t:!li; characteristic equation ~~;ff;l composite determinant ifJiX;rrjlJ;o'\ characteristic function ~~PEil\: composite matrix if JiX;[9:E: J'" characteristic root ~~m composition of probabilities i!t$if $'; characteristic vector ~ioJ:!i composition of vectors ioJ:lll:!BirJiX; circle of curvature ilIl$1liIJ coefficient of correlation ;fI'HIIl~l\: closed half-plane M~"¥'1lii coincidence 1fif,1ll:ir closed interval Mm;:r., coincidence number 1fifl\: coefficient matrix ~~'" coincident lines 1ll:if1l:~~ cofunction ~PEi l\: column matrix jIJ9:E:'" cologarithm I*~l\: concave downward l'!]ioJTIl9 col umn vector jlJ [ti):lll: concave upward l'!]ioJ..t!B common differcnce 0~ conchoid J:f~ common divisor 0;o/-Jl\: conditional convergence {!$#M common or Briggsian logarithms 'litJll~l\: conditionally convergent {!$#M commom ratio 0tt conditional probability iHH~$ -4- conic ::.iJ;:i!!l!£il9; ~ii(til9 consistency of linear equation conic projection ::.iJ;:i!!l~:iQ:~j ~i't:nf!€ B9.jtj?§ i't conic section ~~fti!!l!£; ::.iJ;: i!!l~ consistent *~?§il9; -3&B9 ; ~*Jfil9 conic with center 1H.'::.iJ;:i!!l~ constant polynomial 1il"~$Jf! 'i'.\: conic without center 1!IH,'::.iJ;:i!!l~ continuity iI!L;jf'l1: conical point ~rn:~ continuous function :i!UftiiEi~ conical function ~ii(tfEJ~ convergence 4k~ conicoid ::.iJ;:i!!lllil convergent ~B9 conjugate angle ~iWii:ffl convergent geometric series t!ldli:j~{iiJil&~ conjugate arc ~iWii3JR convergent sequence t!kMJ~ conjugate axis ~iWii*iIi conversion equations vlJJff<:1ff!€ conjugate conics ilic;@1 ::.iJ;: i!!l!ilb ~iWii::.iJ;:i!!l~ convex domain 6f,:;Jt conjugate curves ~iWiii!!l~ convex region 61!llf,:;Jt conjugate hyperbolas ~~~i!!l~ convexity ~i1 conjugate hyperboloids ~iWii.®!'i!!lllil coplanar vector ~llilJoJ :lIi: conjugate imaginary ~iI!iiliffimi coprime ::S:~mi conjugate lines ~iiIi:K~ core tt".' con.iugate lines in a conie counterexample 5. 1f~ critical point 1l.'I;ffi.~ conjugate matrice ~iWii[i'ie JF,;;: cross line iE3C~ conjugate of function fEJ ~il9~iWii crystallographic group j;S.'Ulllf conjugate pail's ;l\<iWiimi1t crystallogr aphic axes j;S,f'allUib conjugate points ~iWii!\\ cubic curve ':::iJ;:i!!l~ conjugate radicals ;ftWli:itiLj!-:< mil cubic equation ':::IX:1f flil cubic polynomial .:::iJ;:$Jf!'i'.\:
Load more

Recommended publications
  • The Enigmatic Number E: a History in Verse and Its Uses in the Mathematics Classroom
    To appear in MAA Loci: Convergence The Enigmatic Number e: A History in Verse and Its Uses in the Mathematics Classroom Sarah Glaz Department of Mathematics University of Connecticut Storrs, CT 06269 [email protected] Introduction In this article we present a history of e in verse—an annotated poem: The Enigmatic Number e . The annotation consists of hyperlinks leading to biographies of the mathematicians appearing in the poem, and to explanations of the mathematical notions and ideas presented in the poem. The intention is to celebrate the history of this venerable number in verse, and to put the mathematical ideas connected with it in historical and artistic context. The poem may also be used by educators in any mathematics course in which the number e appears, and those are as varied as e's multifaceted history. The sections following the poem provide suggestions and resources for the use of the poem as a pedagogical tool in a variety of mathematics courses. They also place these suggestions in the context of other efforts made by educators in this direction by briefly outlining the uses of historical mathematical poems for teaching mathematics at high-school and college level. Historical Background The number e is a newcomer to the mathematical pantheon of numbers denoted by letters: it made several indirect appearances in the 17 th and 18 th centuries, and acquired its letter designation only in 1731. Our history of e starts with John Napier (1550-1617) who defined logarithms through a process called dynamical analogy [1]. Napier aimed to simplify multiplication (and in the same time also simplify division and exponentiation), by finding a model which transforms multiplication into addition.
    [Show full text]
  • Chapter 11. Three Dimensional Analytic Geometry and Vectors
    Chapter 11. Three dimensional analytic geometry and vectors. Section 11.5 Quadric surfaces. Curves in R2 : x2 y2 ellipse + =1 a2 b2 x2 y2 hyperbola − =1 a2 b2 parabola y = ax2 or x = by2 A quadric surface is the graph of a second degree equation in three variables. The most general such equation is Ax2 + By2 + Cz2 + Dxy + Exz + F yz + Gx + Hy + Iz + J =0, where A, B, C, ..., J are constants. By translation and rotation the equation can be brought into one of two standard forms Ax2 + By2 + Cz2 + J =0 or Ax2 + By2 + Iz =0 In order to sketch the graph of a quadric surface, it is useful to determine the curves of intersection of the surface with planes parallel to the coordinate planes. These curves are called traces of the surface. Ellipsoids The quadric surface with equation x2 y2 z2 + + =1 a2 b2 c2 is called an ellipsoid because all of its traces are ellipses. 2 1 x y 3 2 1 z ±1 ±2 ±3 ±1 ±2 The six intercepts of the ellipsoid are (±a, 0, 0), (0, ±b, 0), and (0, 0, ±c) and the ellipsoid lies in the box |x| ≤ a, |y| ≤ b, |z| ≤ c Since the ellipsoid involves only even powers of x, y, and z, the ellipsoid is symmetric with respect to each coordinate plane. Example 1. Find the traces of the surface 4x2 +9y2 + 36z2 = 36 1 in the planes x = k, y = k, and z = k. Identify the surface and sketch it. Hyperboloids Hyperboloid of one sheet. The quadric surface with equations x2 y2 z2 1.
    [Show full text]
  • Exponent and Logarithm Practice Problems for Precalculus and Calculus
    Exponent and Logarithm Practice Problems for Precalculus and Calculus 1. Expand (x + y)5. 2. Simplify the following expression: √ 2 b3 5b +2 . a − b 3. Evaluate the following powers: 130 =,(−8)2/3 =,5−2 =,81−1/4 = 10 −2/5 4. Simplify 243y . 32z15 6 2 5. Simplify 42(3a+1) . 7(3a+1)−1 1 x 6. Evaluate the following logarithms: log5 125 = ,log4 2 = , log 1000000 = , logb 1= ,ln(e )= 1 − 7. Simplify: 2 log(x) + log(y) 3 log(z). √ √ √ 8. Evaluate the following: log( 10 3 10 5 10) = , 1000log 5 =,0.01log 2 = 9. Write as sums/differences of simpler logarithms without quotients or powers e3x4 ln . e 10. Solve for x:3x+5 =27−2x+1. 11. Solve for x: log(1 − x) − log(1 + x)=2. − 12. Find the solution of: log4(x 5)=3. 13. What is the domain and what is the range of the exponential function y = abx where a and b are both positive constants and b =1? 14. What is the domain and what is the range of f(x) = log(x)? 15. Evaluate the following expressions. (a) ln(e4)= √ (b) log(10000) − log 100 = (c) eln(3) = (d) log(log(10)) = 16. Suppose x = log(A) and y = log(B), write the following expressions in terms of x and y. (a) log(AB)= (b) log(A) log(B)= (c) log A = B2 1 Solutions 1. We can either do this one by “brute force” or we can use the binomial theorem where the coefficients of the expansion come from Pascal’s triangle.
    [Show full text]
  • Calculus and Differential Equations II
    Calculus and Differential Equations II MATH 250 B Sequences and series Sequences and series Calculus and Differential Equations II Sequences A sequence is an infinite list of numbers, s1; s2;:::; sn;::: , indexed by integers. 1n Example 1: Find the first five terms of s = (−1)n , n 3 n ≥ 1. Example 2: Find a formula for sn, n ≥ 1, given that its first five terms are 0; 2; 6; 14; 30. Some sequences are defined recursively. For instance, sn = 2 sn−1 + 3, n > 1, with s1 = 1. If lim sn = L, where L is a number, we say that the sequence n!1 (sn) converges to L. If such a limit does not exist or if L = ±∞, one says that the sequence diverges. Sequences and series Calculus and Differential Equations II Sequences (continued) 2n Example 3: Does the sequence converge? 5n 1 Yes 2 No n 5 Example 4: Does the sequence + converge? 2 n 1 Yes 2 No sin(2n) Example 5: Does the sequence converge? n Remarks: 1 A convergent sequence is bounded, i.e. one can find two numbers M and N such that M < sn < N, for all n's. 2 If a sequence is bounded and monotone, then it converges. Sequences and series Calculus and Differential Equations II Series A series is a pair of sequences, (Sn) and (un) such that n X Sn = uk : k=1 A geometric series is of the form 2 3 n−1 k−1 Sn = a + ax + ax + ax + ··· + ax ; uk = ax 1 − xn One can show that if x 6= 1, S = a .
    [Show full text]
  • Niobrara County School District #1 Curriculum Guide
    NIOBRARA COUNTY SCHOOL DISTRICT #1 CURRICULUM GUIDE th SUBJECT: Math Algebra II TIMELINE: 4 quarter Domain: Student Friendly Level of Resource Academic Standard: Learning Objective Thinking Correlation/Exemplar Vocabulary [Assessment] [Mathematical Practices] Domain: Perform operations on matrices and use matrices in applications. Standards: N-VM.6.Use matrices to I can represent and Application Pearson Alg. II Textbook: Matrix represent and manipulated data, e.g., manipulate data to represent --Lesson 12-2 p. 772 (Matrices) to represent payoffs or incidence data. M --Concept Byte 12-2 p. relationships in a network. 780 Data --Lesson 12-5 p. 801 [Assessment]: --Concept Byte 12-2 p. 780 [Mathematical Practices]: Niobrara County School District #1, Fall 2012 Page 1 NIOBRARA COUNTY SCHOOL DISTRICT #1 CURRICULUM GUIDE th SUBJECT: Math Algebra II TIMELINE: 4 quarter Domain: Student Friendly Level of Resource Academic Standard: Learning Objective Thinking Correlation/Exemplar Vocabulary [Assessment] [Mathematical Practices] Domain: Perform operations on matrices and use matrices in applications. Standards: N-VM.7. Multiply matrices I can multiply matrices by Application Pearson Alg. II Textbook: Scalars by scalars to produce new matrices, scalars to produce new --Lesson 12-2 p. 772 e.g., as when all of the payoffs in a matrices. M --Lesson 12-5 p. 801 game are doubled. [Assessment]: [Mathematical Practices]: Domain: Perform operations on matrices and use matrices in applications. Standards:N-VM.8.Add, subtract and I can perform operations on Knowledge Pearson Alg. II Common Matrix multiply matrices of appropriate matrices and reiterate the Core Textbook: Dimensions dimensions. limitations on matrix --Lesson 12-1p. 764 [Assessment]: dimensions.
    [Show full text]
  • Topic 7 Notes 7 Taylor and Laurent Series
    Topic 7 Notes Jeremy Orloff 7 Taylor and Laurent series 7.1 Introduction We originally defined an analytic function as one where the derivative, defined as a limit of ratios, existed. We went on to prove Cauchy's theorem and Cauchy's integral formula. These revealed some deep properties of analytic functions, e.g. the existence of derivatives of all orders. Our goal in this topic is to express analytic functions as infinite power series. This will lead us to Taylor series. When a complex function has an isolated singularity at a point we will replace Taylor series by Laurent series. Not surprisingly we will derive these series from Cauchy's integral formula. Although we come to power series representations after exploring other properties of analytic functions, they will be one of our main tools in understanding and computing with analytic functions. 7.2 Geometric series Having a detailed understanding of geometric series will enable us to use Cauchy's integral formula to understand power series representations of analytic functions. We start with the definition: Definition. A finite geometric series has one of the following (all equivalent) forms. 2 3 n Sn = a(1 + r + r + r + ::: + r ) = a + ar + ar2 + ar3 + ::: + arn n X = arj j=0 n X = a rj j=0 The number r is called the ratio of the geometric series because it is the ratio of consecutive terms of the series. Theorem. The sum of a finite geometric series is given by a(1 − rn+1) S = a(1 + r + r2 + r3 + ::: + rn) = : (1) n 1 − r Proof.
    [Show full text]
  • Complex Eigenvalues
    Quantitative Understanding in Biology Module III: Linear Difference Equations Lecture II: Complex Eigenvalues Introduction In the previous section, we considered the generalized two- variable system of linear difference equations, and showed that the eigenvalues of these systems are given by the equation… ± 2 4 = 1,2 2 √ − …where b = (a11 + a22), c=(a22 ∙ a11 – a12 ∙ a21), and ai,j are the elements of the 2 x 2 matrix that define the linear system. Inspecting this relation shows that it is possible for the eigenvalues of such a system to be complex numbers. Because our plants and seeds model was our first look at these systems, it was carefully constructed to avoid this complication [exercise: can you show that http://www.xkcd.org/179 this model cannot produce complex eigenvalues]. However, many systems of biological interest do have complex eigenvalues, so it is important that we understand how to deal with and interpret them. We’ll begin with a review of the basic algebra of complex numbers, and then consider their meaning as eigenvalues of dynamical systems. A Review of Complex Numbers You may recall that complex numbers can be represented with the notation a+bi, where a is the real part of the complex number, and b is the imaginary part. The symbol i denotes 1 (recall i2 = -1, i3 = -i and i4 = +1). Hence, complex numbers can be thought of as points on a complex plane, which has real √− and imaginary axes. In some disciplines, such as electrical engineering, you may see 1 represented by the symbol j. √− This geometric model of a complex number suggests an alternate, but equivalent, representation.
    [Show full text]
  • Automatic Estimation of Sphere Centers from Images of Calibrated Cameras
    Automatic Estimation of Sphere Centers from Images of Calibrated Cameras Levente Hajder 1 , Tekla Toth´ 1 and Zoltan´ Pusztai 1 1Department of Algorithms and Their Applications, Eotv¨ os¨ Lorand´ University, Pazm´ any´ Peter´ stny. 1/C, Budapest, Hungary, H-1117 fhajder,tekla.toth,[email protected] Keywords: Ellipse Detection, Spatial Estimation, Calibrated Camera, 3D Computer Vision Abstract: Calibration of devices with different modalities is a key problem in robotic vision. Regular spatial objects, such as planes, are frequently used for this task. This paper deals with the automatic detection of ellipses in camera images, as well as to estimate the 3D position of the spheres corresponding to the detected 2D ellipses. We propose two novel methods to (i) detect an ellipse in camera images and (ii) estimate the spatial location of the corresponding sphere if its size is known. The algorithms are tested both quantitatively and qualitatively. They are applied for calibrating the sensor system of autonomous cars equipped with digital cameras, depth sensors and LiDAR devices. 1 INTRODUCTION putation and memory costs. Probabilistic Hough Transform (PHT) is a variant of the classical HT: it Ellipse fitting in images has been a long researched randomly selects a small subset of the edge points problem in computer vision for many decades (Prof- which is used as input for HT (Kiryati et al., 1991). fitt, 1982). Ellipses can be used for camera calibra- The 5D parameter space can be divided into two tion (Ji and Hu, 2001; Heikkila, 2000), estimating the pieces. First, the ellipse center is estimated, then the position of parts in an assembly system (Shin et al., remaining three parameters are found in the second 2011) or for defect detection in printed circuit boards stage (Yuen et al., 1989; Tsuji and Matsumoto, 1978).
    [Show full text]
  • The Infinity Theorem Is Presented Stating That There Is at Least One Multivalued Series That Diverge to Infinity and Converge to Infinite Finite Values
    Open Journal of Mathematics and Physics | Volume 2, Article 75, 2020 | ISSN: 2674-5747 https://doi.org/10.31219/osf.io/9zm6b | published: 4 Feb 2020 | https://ojmp.wordpress.com CX [microresearch] Diamond Open Access The infinity theorem Open Mathematics Collaboration∗† March 19, 2020 Abstract The infinity theorem is presented stating that there is at least one multivalued series that diverge to infinity and converge to infinite finite values. keywords: multivalued series, infinity theorem, infinite Introduction 1. 1, 2, 3, ..., ∞ 2. N =x{ N 1, 2,∞3,}... ∞ > ∈ = { } The infinity theorem 3. Theorem: There exists at least one divergent series that diverge to infinity and converge to infinite finite values. ∗All authors with their affiliations appear at the end of this paper. †Corresponding author: [email protected] | Join the Open Mathematics Collaboration 1 Proof 1 4. S 1 1 1 1 1 1 ... 2 [1] = − + − + − + = (a) 5. Sn 1 1 1 ... 1 has n terms. 6. S = lim+n + S+n + 7. A+ft=er app→ly∞ing the limit in (6), we have S 1 1 1 ... + 8. From (4) and (7), S S 2 = 0 + 2 + 0 + 2 ... 1 + 9. S 2 2 1 1 1 .+.. = + + + + + + 1 10. Fro+m (=7) (and+ (9+), S+ )2 2S . + +1 11. Using (6) in (10), limn+ =Sn 2 2 limn Sn. 1 →∞ →∞ 12. limn Sn 2 + = →∞ 1 13. From (6) a=nd (12), S 2. + 1 14. From (7) and (13), S = 1 1 1 ... 2. + = + + + = (b) 15. S 1 1 1 1 1 ... + 1 16. S =0 +1 +1 +1 +1 +1 1 ..
    [Show full text]
  • The Modal Logic of Potential Infinity, with an Application to Free Choice
    The Modal Logic of Potential Infinity, With an Application to Free Choice Sequences Dissertation Presented in Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy in the Graduate School of The Ohio State University By Ethan Brauer, B.A. ∼6 6 Graduate Program in Philosophy The Ohio State University 2020 Dissertation Committee: Professor Stewart Shapiro, Co-adviser Professor Neil Tennant, Co-adviser Professor Chris Miller Professor Chris Pincock c Ethan Brauer, 2020 Abstract This dissertation is a study of potential infinity in mathematics and its contrast with actual infinity. Roughly, an actual infinity is a completed infinite totality. By contrast, a collection is potentially infinite when it is possible to expand it beyond any finite limit, despite not being a completed, actual infinite totality. The concept of potential infinity thus involves a notion of possibility. On this basis, recent progress has been made in giving an account of potential infinity using the resources of modal logic. Part I of this dissertation studies what the right modal logic is for reasoning about potential infinity. I begin Part I by rehearsing an argument|which is due to Linnebo and which I partially endorse|that the right modal logic is S4.2. Under this assumption, Linnebo has shown that a natural translation of non-modal first-order logic into modal first- order logic is sound and faithful. I argue that for the philosophical purposes at stake, the modal logic in question should be free and extend Linnebo's result to this setting. I then identify a limitation to the argument for S4.2 being the right modal logic for potential infinity.
    [Show full text]
  • An Introduction to Operad Theory
    AN INTRODUCTION TO OPERAD THEORY SAIMA SAMCHUCK-SCHNARCH Abstract. We give an introduction to category theory and operad theory aimed at the undergraduate level. We first explore operads in the category of sets, and then generalize to other familiar categories. Finally, we develop tools to construct operads via generators and relations, and provide several examples of operads in various categories. Throughout, we highlight the ways in which operads can be seen to encode the properties of algebraic structures across different categories. Contents 1. Introduction1 2. Preliminary Definitions2 2.1. Algebraic Structures2 2.2. Category Theory4 3. Operads in the Category of Sets 12 3.1. Basic Definitions 13 3.2. Tree Diagram Visualizations 14 3.3. Morphisms and Algebras over Operads of Sets 17 4. General Operads 22 4.1. Basic Definitions 22 4.2. Morphisms and Algebras over General Operads 27 5. Operads via Generators and Relations 33 5.1. Quotient Operads and Free Operads 33 5.2. More Examples of Operads 38 5.3. Coloured Operads 43 References 44 1. Introduction Sets equipped with operations are ubiquitous in mathematics, and many familiar operati- ons share key properties. For instance, the addition of real numbers, composition of functions, and concatenation of strings are all associative operations with an identity element. In other words, all three are examples of monoids. Rather than working with particular examples of sets and operations directly, it is often more convenient to abstract out their common pro- perties and work with algebraic structures instead. For instance, one can prove that in any monoid, arbitrarily long products x1x2 ··· xn have an unambiguous value, and thus brackets 2010 Mathematics Subject Classification.
    [Show full text]
  • Arxiv:Math/0701299V1 [Math.QA] 10 Jan 2007 .Apiain:Tfs F,S N Oooyagba 11 Algebras Homotopy and Tqfts ST CFT, Tqfts, 9.1
    FROM OPERADS AND PROPS TO FEYNMAN PROCESSES LUCIAN M. IONESCU Abstract. Operads and PROPs are presented, together with examples and applications to quantum physics suggesting the structure of Feynman categories/PROPs and the corre- sponding algebras. Contents 1. Introduction 2 2. PROPs 2 2.1. PROs 2 2.2. PROPs 3 2.3. The basic example 4 3. Operads 4 3.1. Restricting a PROP 4 3.2. The basic example 5 3.3. PROP generated by an operad 5 4. Representations of PROPs and operads 5 4.1. Morphisms of PROPs 5 4.2. Representations: algebras over a PROP 6 4.3. Morphisms of operads 6 5. Operations with PROPs and operads 6 5.1. Free operads 7 5.1.1. Trees and forests 7 5.1.2. Colored forests 8 5.2. Ideals and quotients 8 5.3. Duality and cooperads 8 6. Classical examples of operads 8 arXiv:math/0701299v1 [math.QA] 10 Jan 2007 6.1. The operad Assoc 8 6.2. The operad Comm 9 6.3. The operad Lie 9 6.4. The operad Poisson 9 7. Examples of PROPs 9 7.1. Feynman PROPs and Feynman categories 9 7.2. PROPs and “bi-operads” 10 8. Higher operads: homotopy algebras 10 9. Applications: TQFTs, CFT, ST and homotopy algebras 11 9.1. TQFTs 11 1 9.1.1. (1+1)-TQFTs 11 9.1.2. (0+1)-TQFTs 12 9.2. Conformal Field Theory 12 9.3. String Theory and Homotopy Lie Algebras 13 9.3.1. String backgrounds 13 9.3.2.
    [Show full text]