# Table of mathematical symbols - Wikipedia, the free encyclopedia

Save this PDF as:

Size: px
Start display at page:

## Transcription

1 Página 1 de 13 Table of mathematical symbols From Wikipedia, the free encyclopedia For the HTML codes of mathematical symbols see mathematical HTML. Note: This article contains special characters. The following table lists many specialized symbols commonly used in mathematics. Basic mathematical symbols Symbol = <>!= < > Name equality Read as Category is equal to; equals inequation is not equal to; does not equal strict inequality is less than, is greater than, is much less than, is much greater than order theory Explanation x = y means x and y represent the same thing or value. x y means that x and y do not represent the same thing or value. (The symbols!= and <> are primarily from computer science. They are avoided in mathematical texts.) x < y means x is less than y. x > y means x is greater than y. x y means x is much less than y. x y means x is much greater than y = < 4 5 > Examples <= inequality is less than or x y means x is less than or equal to y. x y means x is greater than or equal to

2 Página 2 de 13 >= + equal to, is greater than or equal to order theory proportionality is proportional to; varies as addition plus disjoint union the disjoint union of... and... subtraction minus negative sign negative ; minus set-theoretic complement minus; without multiplication times Cartesian product the Cartesian product of... and...; the direct product of... and... cross product cross vector algebra y. (The symbols <= and >= are primarily from computer science. They are avoided in mathematical texts.) y x means that y = kx for some constant k means the sum of 4 and 6. A 1 + A 2 means the disjoint union of sets A 1 and A means the subtraction of 4 from 9. 3 means the negative of the number 3. A B means the set that contains all the elements of A that are not in B. 3 4 means the multiplication of 3 by 4. X Y means the set of all ordered pairs with the first element of each pair selected from X and the second element selected from Y. u v means the cross product of vectors u and v 3 4 and and 5 5 if y = 2x, then y x = 9 A 1 = {1, 2, 3, 4} A 2 = {2, 4, 5, 7} A 1 + A 2 = {(1,1), (2,1), (3,1), (4,1), (2,2), (4,2), (5,2), (7,2)} 8 3 = 5 ( 5) = 5 {1,2,4} {1,3,4} = {2} 7 8 = 56 {1,2} {3,4} = {(1,3),(1,4),(2,3),(2,4)} (1,2,5) (3,4, 1) = ( 22, 16, 2)

3 Página 3 de 13 ± multiplication times dot product dot vector algebra division divided by plus-minus plus or minus plus-minus plus or minus measurement minus-plus minus or plus square root the principal square root of; square root real complex square root the complex square root of square root complex absolute value or modulus absolute value (modulus) of Euclidean distance Euclidean distance 3 4 means the multiplication of 3 by 4. u v means the dot product of vectors u and v 6 3 or 6 3 means the division of 6 by 3. 6 ± 3 means both and ± 2 or eqivalently 10 ± 20% means the range from 10 2 to ± (3 5) means both 6 + (3-5) and 6 - (3 + 5). x means the positive number whose square is x. if z = r exp(iφ) is represented in polar coordinates with -π < φ π, then z = r exp (i φ/2). x means the distance along the real line (or across the complex plane) between x and zero. 7 8 = 56 (1,2,5) (3,4, 1) = = = 3 The equation x = 5 ± 4, has two solutions, x = 7 and x = 3. If a = 100 ± 1 mm, then a is 99 mm and 101 mm. cos(x ± y) = cos(x) cos(y) sin(x) sin(y). 4 = 2 (-1) = i 3 = 3 5 = 5 i = i = 5 x y means the For x = (1,1), and y = (4,5),

4 Página 4 de 13! T ~ between; Euclidean norm of Geometry Determinant determinant of divides Matrix theory divides Number Theory factorial factorial combinatorics transpose transpose probability distribution matrix operations has distribution statistics Euclidean distance between x and y. A means the determinant of the matrix A A single vertical bar is used to denote divisibility. a b means a divides b. n! is the product n. Swap rows for columns A ij = (A T ) ji X ~ D, means the random variable X has the probability distribution D. Row equivalence A~B means that B can is row equivalent be generated by using a to series of elementary Matrix theory row operations on A material implication A B means if A is true then B is also true; if A is false then nothing is said about B. x y = ([1 4] 2 + [1 5] 2 ) = 5 Since 15 = 3 5, it is true that 3 15 and ! = = 24 X ~ N(0,1), the standard normal distribution implies; if then may mean the same as, or it may have the meaning for functions given below. x = 2 x 2 = 4 is true, but x 2 = 4 x = 2 is in general false (since x could be 2). logic, Heyting algebra material equivalence if and only if; iff may mean the same as, or it may have the meaning for superset given below. A B means A is true if B is true and A is false if B is false. x + 5 = y +2 x + 3 = y

5 Página 5 de 13 logic logical negation not logic logical conjunction or meet in a lattice and; min logic, lattice theory logical disjunction or join in a lattice or; max logic, lattice theory exclusive or xor logic, Boolean algebra direct sum direct sum of Abstract algebra The statement A is true if and only if A is false. A slash placed through another operator is the same as " " placed in front. (The symbol ~ has many other uses, so or the slash notation is preferred.) The statement A B is true if A and B are both true; else it is false. For functions A(x) and B(x), A(x) B(x) is used to mean min(a(x), B(x)). The statement A B is true if A or B (or both) are true; if both are false, the statement is false. For functions A(x) and B(x), A(x) B(x) is used to mean max(a (x), B(x)). The statement A B is true when either A or B, but not both, are true. A B means the same. The direct sum is a special way of combining several one modules into one general module (the symbol is used, is only for logic). ( A) A x y (x = y) n < 4 n >2 n = 3 when n is a natural number. n 4 n 2 n 3 when n is a natural number. ( A) A is always true, A A is always false. Most commonly, for vector spaces U, V, and W, the following consequence is used: U = V W (U = V + W) (V W = ) universal quantification for all; for any; x: P(x) means P(x) is n : n 2 n.

6 Página 6 de 13! := : for each true for all x. predicate logic existential quantification there exists predicate logic uniqueness quantification there exists exactly one predicate logic definition is defined as x: P(x) means there is at least one x such that P(x) is true.! x: P(x) means there is exactly one x such that P(x) is true. x := y or x y means x is defined to be another name for y (Some writers use to mean congruence). P : Q means P is defined to be logically equivalent to Q. n : n is even.! n : n + 5 = 2n. cosh x := (1/2)(exp x + exp ( x)) A xor B : (A B) (A B) congruence is congruent to congruence relation geometry... is congruent to... modulo... modular ABC DEF means triangle ABC is congruent to (has the same measurements as) triangle DEF. a b (mod n) means a b is divisible by n {, } set brackets {a,b,c} means the set the set of { : } { } set builder notation consisting of a, b, and c. the set of such that empty set the empty set {x : P(x)} means the set of all x for which P(x) is true. {x P(x)} is the same as {x : P(x)}. means the set with no elements. { } means the same (mod 3) = { 1, 2, 3, } {n : n 2 < 20} = { 1, 2, 3, 4} {n : 1 < n 2 < 4} =

7 Página 7 de 13 { } set membership is an element of; is not an element of, set theory a S means a is an element of the set S; a S means a is not an element of S. (1/2) subset is a subset of superset is a superset of set-theoretic union the union of and union set-theoretic intersection intersected with; (subset) A B means every element of A is also element of B. (proper subset) A B means A B but A B. (Some writers use the symbol as if it were the same as.) A B means every element of B is also element of A. A B means A B but A B. (Some writers use the symbol as if it were the same as.) (exclusive) A B means the set that contains all the elements from A, or all the elements from B, but not both. "A or B, but not both." (inclusive) A B means the set that contains all the elements from A, or all the elements from B, or all the elements from both A and B. "A or B or both". A B means the set that contains all those elements that A and B (A B) A (A B) B A B (A B) = B (inclusive) {x : x 2 = 1} = {1}

8 Página 8 de 13 ( ) f:x Y o N Z Q intersect symmetric difference symmetric difference set-theoretic complement minus; without function application of precedence grouping parentheses function arrow from to,type theory function composition composed with natural integers N Z rational Q have in common. A B means the set of elements in exactly one of A or B. A B means the set that contains all those elements of A that are not in B. f(x) means the value of the function f at the element x. Perform the operations inside the parentheses first. f: X Y means the function f maps the set X into the set Y. fog is the function, such that (fog)(x) = f(g(x)). N means { 1, 2, 3,...}, but see the article on natural for a different convention. means {..., 3, 2, 1, 0, 1, 2, 3,...} and + means {1, 2, 3,...} =. means {p/q : p, q }. {1,5,6,8} {2,5,8} = {1,2,6} {1,2,3,4} {3,4,5,6} = {1,2} If f(x) := x 2, then f(3) = 3 2 = 9. (8/4)/2 = 2/2 = 1, but 8/(4/2) = 8/2 = 4. Let f: be defined by f(x) := x 2. if f(x) := 2x, and g(x) := x + 3, then (fog) (x) = 2(x + 3). = { a : a, a 0} = {p, -p : p } {0} π

9 Página 9 de 13 R C K real R means the set of real. complex means {a + b i : C a,b }. arbitrary constant C integral calculus real or complex infinity norm K linear algebra infinity norm of length of linear algebra summation sum over from to of product C can be any number, most likely unknown; usually occurs when calculating antiderivatives. K means the statement holds substituting K for R and also for C. is an element of the extended number line that is greater than all real ; it often occurs in limits. x is the norm of the element x of a normed vector space. + a n. means a 1 + a 2 + π ( 1) i = ( 1) if f(x) = 6x² + 4x, then F(x) = 2x³ + 2x² + C, where F'(x) = f(x) because and lim x 0 1/ x = x + y x + y = = = 30. product over from to of a 1 a 2 a n. means = (1+2)(2+2)(3+2)(4+2) = = 360 Cartesian product

10 Página 10 de 13 the Cartesian product of; the direct product of means the set of all (n+1)-tuples (y 0,, y n ). coproduct coproduct over from to of category theory derivative prime derivative of calculus f (x) is the derivative of the function f at the point x, i.e., the slope of the tangent to f at x. The dot notation indicates a time derivative. That is. If f(x) := x 2, then f (x) = 2x indefinite integral or antiderivative indefinite integral of the antiderivative of calculus definite integral integral from to of with respect to gradient calculus del, nabla, gradient of partial differential partial, d boundary calculus calculus f(x) dx means a function whose derivative is f. a b f(x) dx means the signed area between the x-axis and the graph of the function f between x = a and x = b. f (x 1,, x n ) is the vector of partial derivatives ( f / x 1,, f / x n ). With f (x 1,, x n ), f/ x i is the derivative of f with respect to x i, with all other variables kept constant. x 2 dx = x 3 /3 + C 0 b x 2 dx = b 3 /3; If f (x,y,z) := 3xy + z², then f = (3y, 3x, 2z) If f(x,y) := x 2 y, then f/ x = 2xy

11 Página 11 de 13 boundary of topology perpendicular is perpendicular to geometry bottom element the bottom element parallel lattice theory is parallel to entailment geometry entails model theory inference infers or is derived from logic, predicate logic M means the boundary of M x y means x is perpendicular to y; or more generally x is orthogonal to y. x = means x is the smallest element. x y means x is parallel to y. A B means the sentence A entails the sentence B, that is every model in which A is true, B is also true. x y means y is derived from x. {x : x 2} = {x : x = 2} If l m and m n then l n. x : x = If l m and m n then l n. A A A A B B A / normal subgroup N G means that N is is a normal a normal subgroup of subgroup of group G. group theory quotient group mod group theory quotient set mod isomorphism is isomorphic to group theory approximately equal is approximately equal to G/H means the quotient of group G modulo its subgroup H. A/~ means the set of all ~ equivalence classes in A. G H means that group G is isomorphic to group H x y means x is approximately equal to y Z(G) G {0, a, 2a, b, b+a, b+2a} / {0, b} = {{0, b}, {a, b+a}, {2a, b+2a}} If we define ~ by x~y x-y Z, then R/~ = {{x+n : n Z} : x (0,1]} Q / {1, 1} V, where Q is the quaternion group and V is the Klein four-group. π

12 Página 12 de 13 ~, same order of magnitude roughly similar poorly approximates Approximation theory inner product m ~ n, means the quantities m and n have the general size. (Note that ~ is used for an approximation that is poor, otherwise use.) 2 ~ ~ 100 but π 2 10 ( ) <, > : * inner product of vector algebra tensor product tensor product of linear algebra convolution mean convolution overbar statistics x,y means the inner product of x and y as defined in an inner product space. For spatial vectors, the dot product notation, x y is common. For matricies, the colon notation may be used. V U means the tensor product of V and U. f * g means the convolution of f and g. The standard inner product between two vectors x = (2, 3) and y = ( 1, 5) is: x, y = = 13 A:B = A ij B ij i,j {1, 2, 3, 4} {1,1,2} = {{1, 2, 3, 4}, {1, 2, 3, 4}, {2, 4, 6, 8}} is the mean (average value of x i ).. delta equal to means equal by definition. When is used, equality is not equal by true generally, but definition rather equality is true under certain assumptions that are taken in context.. See also Mathematical alphanumeric symbols

13 Página 13 de 13 Table of logic symbols Physical constants Variables commonly used in physics ISO External links Jeff Miller: Earliest Uses of Various Mathematical Symbols ( TCAEP - Institute of Physics ( GIF and PNG Images for Math Symbols ( Retrieved from "" Categories: Mathematical notation Mathematics-related lists Symbols Mathematical symbols This page was last modified 12:48, 10 May All text is available under the terms of the GNU Free Documentation License. (See Copyrights for details.) Wikipedia is a registered trademark of the Wikimedia Foundation, Inc., a US-registered 501(c)(3) tax-deductible nonprofit charity.

### Propositional Logic, Predicates, and Equivalence

Chapter 1 Propositional Logic, Predicates, and Equivalence A statement or a proposition is a sentence that is true (T) or false (F) but not both. The symbol denotes not, denotes and, and denotes or. If

### Discrete Mathematical Structures: Theory and Applications

Chapter 1: Foundations: Sets, Logic, and Algorithms Discrete Mathematical Structures: Theory and Applications Learning Objectives Learn about sets Explore various operations on sets Become familiar with

ADDITIONAL MATHEMATICS GCE NORMAL ACADEMIC LEVEL (016) (Syllabus 4044) CONTENTS Page INTRODUCTION AIMS ASSESSMENT OBJECTIVES SCHEME OF ASSESSMENT 3 USE OF CALCULATORS 3 SUBJECT CONTENT 4 MATHEMATICAL FORMULAE

### Lecture Notes 1 Basic Concepts of Mathematics MATH 352

Lecture Notes 1 Basic Concepts of Mathematics MATH 352 Ivan Avramidi New Mexico Institute of Mining and Technology Socorro, NM 87801 June 3, 2004 Author: Ivan Avramidi; File: absmath.tex; Date: June 11,

### Supplementary Material for MTH 299 Online Edition

Supplementary Material for MTH 299 Online Edition Abstract This document contains supplementary material, such as definitions, explanations, examples, etc., to complement that of the text, How to Think

8th Grade Math Definitions Absolute Value: 1. A number s distance from zero. 2. For any x, is defined as follows: x = x, if x < 0; x, if x 0. Acute Angle: An angle whose measure is greater than 0 and less

ADDITIONAL MATHEMATICS GCE Ordinary Level (06) (Syllabus 4047) CONTENTS Page INTRODUCTION AIMS ASSESSMENT OBJECTIVES SCHEME OF ASSESSMENT 3 USE OF CALCULATORS 3 SUBJECT CONTENT 4 MATHEMATICAL FORMULAE

### 1. (B) The union of sets A and B is the set whose elements belong to at least one of A

1. (B) The union of sets A and B is the set whose elements belong to at least one of A or B. Thus, A B = { 2, 1, 0, 1, 2, 5}. 2. (A) The intersection of sets A and B is the set whose elements belong to

### Professor Terje Haukaas University of British Columbia, Vancouver Notation

Notation This document establishes the notation that is employed throughout these notes. It is intended as a look-up source during the study of other documents and software on this website. As a general

### Sets are one of the basic building blocks for the types of objects considered in discrete mathematics.

Section 2.1 Introduction Sets are one of the basic building blocks for the types of objects considered in discrete mathematics. Important for counting. Programming languages have set operations. Set theory

### Topics in Logic and Proofs

Chapter 2 Topics in Logic and Proofs Some mathematical statements carry a logical value of being true or false, while some do not. For example, the statement 4 + 5 = 9 is true, whereas the statement 2

### Mathematical Preliminaries. Sipser pages 1-28

Mathematical Preliminaries Sipser pages 1-28 Mathematical Preliminaries This course is about the fundamental capabilities and limitations of computers. It has 3 parts 1. Automata Models of computation

### A Semester Course in Basic Abstract Algebra

A Semester Course in Basic Abstract Algebra Marcel B. Finan Arkansas Tech University c All Rights Reserved December 29, 2011 1 PREFACE This book is an introduction to abstract algebra course for undergraduates

### Math 1 Variable Manipulation Part 5 Absolute Value & Inequalities

Math 1 Variable Manipulation Part 5 Absolute Value & Inequalities 1 ABSOLUTE VALUE REVIEW Absolute value is a measure of distance; how far a number is from zero: 6 is 6 away from zero, and " 6" is also

### EQUIVALENCE RELATIONS (NOTES FOR STUDENTS) 1. RELATIONS

EQUIVALENCE RELATIONS (NOTES FOR STUDENTS) LIOR SILBERMAN Version 1.0 compiled September 9, 2015. 1.1. List of examples. 1. RELATIONS Equality of real numbers: for some x,y R we have x = y. For other pairs

### WA State Common Core Standards - Mathematics

Number & Quantity The Real Number System Extend the properties of exponents to rational exponents. 1. Explain how the definition of the meaning of rational exponents follows from extending the properties

### Logic and Propositional Calculus

CHAPTER 4 Logic and Propositional Calculus 4.1 INTRODUCTION Many algorithms and proofs use logical expressions such as: IF p THEN q or If p 1 AND p 2, THEN q 1 OR q 2 Therefore it is necessary to know

### Set Theory. CSE 215, Foundations of Computer Science Stony Brook University

Set Theory CSE 215, Foundations of Computer Science Stony Brook University http://www.cs.stonybrook.edu/~cse215 Set theory Abstract set theory is one of the foundations of mathematical thought Most mathematical

### SEBASTIAN RASCHKA. Introduction to Artificial Neural Networks and Deep Learning. with Applications in Python

SEBASTIAN RASCHKA Introduction to Artificial Neural Networks and Deep Learning with Applications in Python Introduction to Artificial Neural Networks with Applications in Python Sebastian Raschka Last

### Logic. Facts (with proofs) CHAPTER 1. Definitions

CHAPTER 1 Logic Definitions D1. Statements (propositions), compound statements. D2. Truth values for compound statements p q, p q, p q, p q. Truth tables. D3. Converse and contrapositive. D4. Tautologies

### CS2742 midterm test 2 study sheet. Boolean circuits: Predicate logic:

x NOT ~x x y AND x /\ y x y OR x \/ y Figure 1: Types of gates in a digital circuit. CS2742 midterm test 2 study sheet Boolean circuits: Boolean circuits is a generalization of Boolean formulas in which

### Review (Probability & Linear Algebra)

Review (Probability & Linear Algebra) CE-725 : Statistical Pattern Recognition Sharif University of Technology Spring 2013 M. Soleymani Outline Axioms of probability theory Conditional probability, Joint

### MaanavaN.Com MA1256 DISCRETE MATHEMATICS. DEPARTMENT OF MATHEMATICS QUESTION BANK Subject & Code : MA1256 DISCRETE MATHEMATICS

DEPARTMENT OF MATHEMATICS QUESTION BANK Subject & Code : UNIT I PROPOSITIONAL CALCULUS Part A ( Marks) Year / Sem : III / V. Write the negation of the following proposition. To enter into the country you

### 1. Let r, s, t, v be the homogeneous relations defined on the set M = {2, 3, 4, 5, 6} by

Seminar 1 1. Which ones of the usual symbols of addition, subtraction, multiplication and division define an operation (composition law) on the numerical sets N, Z, Q, R, C? 2. Let A = {a 1, a 2, a 3 }.

### Elementary Point-Set Topology

André L. Yandl Adam Bowers Elementary Point-Set Topology A Transition to Advanced Mathematics September 17, 2014 Draft copy for non commercial purposes only 2 Preface About this book As the title indicates,

### A field F is a set of numbers that includes the two numbers 0 and 1 and satisfies the properties:

Byte multiplication 1 Field arithmetic A field F is a set of numbers that includes the two numbers 0 and 1 and satisfies the properties: F is an abelian group under addition, meaning - F is closed under

### Foundations of Mathematics Worksheet 2

Foundations of Mathematics Worksheet 2 L. Pedro Poitevin June 24, 2007 1. What are the atomic truth assignments on {a 1,..., a n } that satisfy: (a) The proposition p = ((a 1 a 2 ) (a 2 a 3 ) (a n 1 a

### Course 311: Abstract Algebra Academic year

Course 311: Abstract Algebra Academic year 2007-08 D. R. Wilkins Copyright c David R. Wilkins 1997 2007 Contents 1 Topics in Group Theory 1 1.1 Groups............................... 1 1.2 Examples of Groups.......................

### Introduction. Chapter 1. Contents. EECS 600 Function Space Methods in System Theory Lecture Notes J. Fessler 1.1

Chapter 1 Introduction Contents Motivation........................................................ 1.2 Applications (of optimization).............................................. 1.2 Main principles.....................................................

### Chapter-2 Relations and Functions. Miscellaneous

1 Chapter-2 Relations and Functions Miscellaneous Question 1: The relation f is defined by The relation g is defined by Show that f is a function and g is not a function. The relation f is defined as It

### Sets. Introduction to Set Theory ( 2.1) Basic notations for sets. Basic properties of sets CMSC 302. Vojislav Kecman

Introduction to Set Theory ( 2.1) VCU, Department of Computer Science CMSC 302 Sets Vojislav Kecman A set is a new type of structure, representing an unordered collection (group, plurality) of zero or

### Simplification by Truth Table and without Truth Table

Engineering Mathematics 2013 SUBJECT NAME SUBJECT CODE MATERIAL NAME MATERIAL CODE REGULATION UPDATED ON : Discrete Mathematics : MA2265 : University Questions : SKMA1006 : R2008 : August 2013 Name of

### Boolean Algebras. Chapter 2

Chapter 2 Boolean Algebras Let X be an arbitrary set and let P(X) be the class of all subsets of X (the power set of X). Three natural set-theoretic operations on P(X) are the binary operations of union

### Section 1: Sets and Interval Notation

PART 1 From Sets to Functions Section 1: Sets and Interval Notation Introduction Set concepts offer the means for understanding many different aspects of mathematics and its applications to other branches

### Topos Theory. Lectures 17-20: The interpretation of logic in categories. Olivia Caramello. Topos Theory. Olivia Caramello.

logic s Lectures 17-20: logic in 2 / 40 logic s Interpreting first-order logic in In Logic, first-order s are a wide class of formal s used for talking about structures of any kind (where the restriction

### Order of Operations. Real numbers

Order of Operations When simplifying algebraic expressions we use the following order: 1. Perform operations within a parenthesis. 2. Evaluate exponents. 3. Multiply and divide from left to right. 4. Add

### Chapter 8. P-adic numbers. 8.1 Absolute values

Chapter 8 P-adic numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics 58, Springer Verlag 1984, corrected 2nd printing 1996, Chap.

### 1 Take-home exam and final exam study guide

Math 215 - Introduction to Advanced Mathematics Fall 2013 1 Take-home exam and final exam study guide 1.1 Problems The following are some problems, some of which will appear on the final exam. 1.1.1 Number

2 This book is under copyright to A-level Maths Tutor. However, it may be distributed freely provided it is not sold for profit. Contents indices 3 laws of logarithms 7 surds 12 inequalities 18 quadratic

### MASTERS EXAMINATION IN MATHEMATICS

MASTERS EXAMINATION IN MATHEMATICS PURE MATHEMATICS OPTION FALL 2007 Full points can be obtained for correct answers to 8 questions. Each numbered question (which may have several parts) is worth the same

### Saxon Calculus Scope and Sequence

hmhco.com Saxon Calculus Scope and Sequence Foundations Real Numbers Identify the subsets of the real numbers Identify the order properties of the real numbers Identify the properties of the real number

### Rings. Chapter 1. Definition 1.2. A commutative ring R is a ring in which multiplication is commutative. That is, ab = ba for all a, b R.

Chapter 1 Rings We have spent the term studying groups. A group is a set with a binary operation that satisfies certain properties. But many algebraic structures such as R, Z, and Z n come with two binary

### Analysis 1. Lecture Notes 2013/2014. The original version of these Notes was written by. Vitali Liskevich

Analysis 1 Lecture Notes 2013/2014 The original version of these Notes was written by Vitali Liskevich followed by minor adjustments by many Successors, and presently taught by Misha Rudnev University

A Glossary Absolute value The distance a number is from 0 on a number line Acute angle An angle whose measure is between 0 and 90 Acute triangle A triangle in which all three angles are acute Addends The

### Logical Reasoning. Chapter Statements and Logical Operators

Chapter 2 Logical Reasoning 2.1 Statements and Logical Operators Preview Activity 1 (Compound Statements) Mathematicians often develop ways to construct new mathematical objects from existing mathematical

### Analysis I. Classroom Notes. H.-D. Alber

Analysis I Classroom Notes H-D Alber Contents 1 Fundamental notions 1 11 Sets 1 12 Product sets, relations 5 13 Composition of statements 7 14 Quantifiers, negation of statements 9 2 Real numbers 11 21

### Chapter 1. Logic and Proof

Chapter 1. Logic and Proof 1.1 Remark: A little over 100 years ago, it was found that some mathematical proofs contained paradoxes, and these paradoxes could be used to prove statements that were known

### 2 so Q[ 2] is closed under both additive and multiplicative inverses. a 2 2b 2 + b

. FINITE-DIMENSIONAL VECTOR SPACES.. Fields By now you ll have acquired a fair knowledge of matrices. These are a concrete embodiment of something rather more abstract. Sometimes it is easier to use matrices,

### STA2112F99 ε δ Review

STA2112F99 ε δ Review 1. Sequences of real numbers Definition: Let a 1, a 2,... be a sequence of real numbers. We will write a n a, or lim a n = a, if for n all ε > 0, there exists a real number N such

### Algebra 1 S1 Lesson Summaries. Lesson Goal: Mastery 70% or higher

Algebra 1 S1 Lesson Summaries For every lesson, you need to: Read through the LESSON REVIEW which is located below or on the last page of the lesson and 3-hole punch into your MATH BINDER. Read and work

### 5. Use a truth table to determine whether the two statements are equivalent. Let t be a tautology and c be a contradiction.

Statements Compounds and Truth Tables. Statements, Negations, Compounds, Conjunctions, Disjunctions, Truth Tables, Logical Equivalence, De Morgan s Law, Tautology, Contradictions, Proofs with Logical Equivalent

### Discrete Structures for Computer Science

Discrete Structures for Computer Science William Garrison bill@cs.pitt.edu 6311 Sennott Square Lecture #4: Predicates and Quantifiers Based on materials developed by Dr. Adam Lee Topics n Predicates n

### MATHEMATICS. IMPORTANT FORMULAE AND CONCEPTS for. Final Revision CLASS XII CHAPTER WISE CONCEPTS, FORMULAS FOR QUICK REVISION.

MATHEMATICS IMPORTANT FORMULAE AND CONCEPTS for Final Revision CLASS XII 2016 17 CHAPTER WISE CONCEPTS, FORMULAS FOR QUICK REVISION Prepared by M. S. KUMARSWAMY, TGT(MATHS) M. Sc. Gold Medallist (Elect.),

### General Notation. Exercises and Problems

Exercises and Problems The text contains both Exercises and Problems. The exercises are incorporated into the development of the theory in each section. Additional Problems appear at the end of most sections.

### Maths Higher Prelim Content

Maths Higher Prelim Content Straight Line Gradient of a line A(x 1, y 1 ), B(x 2, y 2 ), Gradient of AB m AB = y 2 y1 x 2 x 1 m = tanθ where θ is the angle the line makes with the positive direction of

### CHAPTER 2 POLYNOMIALS KEY POINTS

CHAPTER POLYNOMIALS KEY POINTS 1. Polynomials of degrees 1, and 3 are called linear, quadratic and cubic polynomials respectively.. A quadratic polynomial in x with real coefficient is of the form a x

### Mathematics 220 Midterm Practice problems from old exams Page 1 of 8

Mathematics 220 Midterm Practice problems from old exams Page 1 of 8 1. (a) Write the converse, contrapositive and negation of the following statement: For every integer n, if n is divisible by 3 then

### Semantics of intuitionistic propositional logic

Semantics of intuitionistic propositional logic Erik Palmgren Department of Mathematics, Uppsala University Lecture Notes for Applied Logic, Fall 2009 1 Introduction Intuitionistic logic is a weakening

### Algebra I Vocabulary Cards

Algebra I Vocabulary Cards Table of Contents Expressions and Operations Natural Numbers Whole Numbers Integers Rational Numbers Irrational Numbers Real Numbers Absolute Value Order of Operations Expression

### Chapter 2 Sets, Relations and Functions

Chapter 2 Sets, Relations and Functions Key Topics Sets Set Operations Russell s Paradox Relations Composition of Relations Reflexive, Symmetric and Transitive Relations Functions Partial and Total Functions

### Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics. College Algebra for STEM

Undergraduate Notes in Mathematics Arkansas Tech University Department of Mathematics College Algebra for STEM Marcel B. Finan c All Rights Reserved 2015 Edition To my children Amin & Nadia Preface From

### Math RE - Calculus II Antiderivatives and the Indefinite Integral Page 1 of 5

Math 201-203-RE - Calculus II Antiderivatives and the Indefinite Integral Page 1 of 5 What is the Antiderivative? In a derivative problem, a function f(x) is given and you find the derivative f (x) using

### Algebra 2 with Trigonometry

Algebra 2 with Trigonometry This course covers the topics shown below; new topics have been highlighted. Students navigate learning paths based on their level of readiness. Institutional users may customize

### Web Solutions for How to Read and Do Proofs

Web Solutions for How to Read and Do Proofs An Introduction to Mathematical Thought Processes Sixth Edition Daniel Solow Department of Operations Weatherhead School of Management Case Western Reserve University

### Exercises on chapter 1

Exercises on chapter 1 1. Let G be a group and H and K be subgroups. Let HK = {hk h H, k K}. (i) Prove that HK is a subgroup of G if and only if HK = KH. (ii) If either H or K is a normal subgroup of G

### Real Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi

Real Analysis Math 3AH Rudin, Chapter # Dominique Abdi.. If r is rational (r 0) and x is irrational, prove that r + x and rx are irrational. Solution. Assume the contrary, that r+x and rx are rational.

### REVIEW OF ESSENTIAL MATH 346 TOPICS

REVIEW OF ESSENTIAL MATH 346 TOPICS 1. AXIOMATIC STRUCTURE OF R Doğan Çömez The real number system is a complete ordered field, i.e., it is a set R which is endowed with addition and multiplication operations

### College Algebra with Trigonometry

College Algebra with Trigonometry This course covers the topics outlined below. You can customize the scope and sequence of this course to meet your curricular needs. Curriculum (556 topics + 614 additional

### Predicate Calculus lecture 1

Predicate Calculus lecture 1 Section 1.3 Limitation of Propositional Logic Consider the following reasoning All cats have tails Gouchi is a cat Therefore, Gouchi has tail. MSU/CSE 260 Fall 2009 1 MSU/CSE

More Books At www.goalias.blogspot.com www.goalias.blogspot.com www.goalias.blogspot.com www.goalias.blogspot.com www.goalias.blogspot.com www.goalias.blogspot.com www.goalias.blogspot.com www.goalias.blogspot.com

### A LITTLE REAL ANALYSIS AND TOPOLOGY

A LITTLE REAL ANALYSIS AND TOPOLOGY 1. NOTATION Before we begin some notational definitions are useful. (1) Z = {, 3, 2, 1, 0, 1, 2, 3, }is the set of integers. (2) Q = { a b : aεz, bεz {0}} is the set

### Formal power series rings, inverse limits, and I-adic completions of rings

Formal power series rings, inverse limits, and I-adic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely

### Algebra. Modular arithmetic can be handled mathematically by introducing a congruence relation on the integers described in the above example.

Coding Theory Massoud Malek Algebra Congruence Relation The definition of a congruence depends on the type of algebraic structure under consideration Particular definitions of congruence can be made for

### CHAPTER 1. MATHEMATICAL LOGIC 1.1 Fundamentals of Mathematical Logic

CHAPER 1 MAHEMAICAL LOGIC 1.1 undamentals of Mathematical Logic Logic is commonly known as the science of reasoning. Some of the reasons to study logic are the following: At the hardware level the design

### 1.5 F15 O Brien. 1.5: Linear Equations and Inequalities

1.5: Linear Equations and Inequalities I. Basic Terminology A. An equation is a statement that two expressions are equal. B. To solve an equation means to find all of the values of the variable that make

### Contribution of Problems

Exam topics 1. Basic structures: sets, lists, functions (a) Sets { }: write all elements, or define by condition (b) Set operations: A B, A B, A\B, A c (c) Lists ( ): Cartesian product A B (d) Functions

### Copyright 2016 Pearson Education, Inc. or its affiliates. All rights reserved. NES, the NES logo, Pearson, the Pearson logo, and National Evaluation

Mathematics (304) Copyright 2016 Pearson Education, Inc. or its affiliates. All rights reserved. NES, the NES logo, Pearson, the Pearson logo, and National Evaluation Series are trademarks, in the U.S.

### PURE MATHEMATICS Unit 1

PURE MATHEMATICS Unit 1 FOR CAPE EXAMINATIONS DIPCHAND BAHALL CAPE is a registered trade mark of the Caribbean Examinations Council (CXC). Pure Mathematics for CAPE Examinations Unit 1 is an independent

### California Subject Examinations for Teachers

California Subject Examinations for Teachers TEST GUIDE MATHEMATICS SUBTEST I Sample Questions and Responses and Scoring Information Copyright 204 Pearson Education, Inc. or its affiliate(s). All rights

### Commutative Rings and Fields

Commutative Rings and Fields 1-22-2017 Different algebraic systems are used in linear algebra. The most important are commutative rings with identity and fields. Definition. A ring is a set R with two

### Part IA. Numbers and Sets. Year

Part IA Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2017 19 Paper 4, Section I 1D (a) Show that for all positive integers z and n, either z 2n 0 (mod 3) or

### Chapter 1. Functions 1.1. Functions and Their Graphs

1.1 Functions and Their Graphs 1 Chapter 1. Functions 1.1. Functions and Their Graphs Note. We start by assuming that you are familiar with the idea of a set and the set theoretic symbol ( an element of

### HANDOUT AND SET THEORY. Ariyadi Wijaya

HANDOUT LOGIC AND SET THEORY Ariyadi Wijaya Mathematics Education Department Faculty of Mathematics and Natural Science Yogyakarta State University 2009 1 Mathematics Education Department Faculty of Mathematics

### Math Requirements for applicants by Innopolis University

Math Requirements for applicants by Innopolis University Contents 1: Algebra... 2 1.1 Numbers, roots and exponents... 2 1.2 Basics of trigonometry... 2 1.3 Logarithms... 2 1.4 Transformations of expressions...

### Sets. Alice E. Fischer. CSCI 1166 Discrete Mathematics for Computing Spring, Outline Sets An Algebra on Sets Summary

An Algebra on Alice E. Fischer CSCI 1166 Discrete Mathematics for Computing Spring, 2018 Alice E. Fischer... 1/37 An Algebra on 1 Definitions and Notation Venn Diagrams 2 An Algebra on 3 Alice E. Fischer...

### Real Analysis: Part I. William G. Faris

Real Analysis: Part I William G. Faris February 2, 2004 ii Contents 1 Mathematical proof 1 1.1 Logical language........................... 1 1.2 Free and bound variables...................... 3 1.3 Proofs

### Math Conventions. for the Quantitative Reasoning measure of the GRE General Test.

Math Conventions for the Quantitative Reasoning measure of the GRE General Test www.ets.org The mathematical symbols and terminology used in the Quantitative Reasoning measure of the test are conventional

### CSE 1400 Applied Discrete Mathematics Proofs

CSE 1400 Applied Discrete Mathematics Proofs Department of Computer Sciences College of Engineering Florida Tech Fall 2011 Axioms 1 Logical Axioms 2 Models 2 Number Theory 3 Graph Theory 4 Set Theory 4

### Linear Algebra Massoud Malek

CSUEB Linear Algebra Massoud Malek Inner Product and Normed Space In all that follows, the n n identity matrix is denoted by I n, the n n zero matrix by Z n, and the zero vector by θ n An inner product

### The Chinese Remainder Theorem

The Chinese Remainder Theorem Kyle Miller Feb 13, 2017 The Chinese Remainder Theorem says that systems of congruences always have a solution (assuming pairwise coprime moduli): Theorem 1 Let n, m N with

### Revision Questions. Sequences, Series, Binomial and Basic Differentiation

Revision Questions Sequences, Series, Binomial and Basic Differentiation 1 ARITHMETIC SEQUENCES BASIC QUESTIONS 1) An arithmetic sequence is defined a=5 and d=3. Write down the first 6 terms. ) An arithmetic

### Logical Operators. Conjunction Disjunction Negation Exclusive Or Implication Biconditional

Logical Operators Conjunction Disjunction Negation Exclusive Or Implication Biconditional 1 Statement meaning p q p implies q if p, then q if p, q when p, q whenever p, q q if p q when p q whenever p p

### Congruence Boolean Lifting Property

Congruence Boolean Lifting Property George GEORGESCU and Claudia MUREŞAN University of Bucharest Faculty of Mathematics and Computer Science Academiei 14, RO 010014, Bucharest, Romania Emails: georgescu.capreni@yahoo.com;

### Know the Well-ordering principle: Any set of positive integers which has at least one element contains a smallest element.

The first exam will be on Monday, June 8, 202. The syllabus will be sections. and.2 in Lax, and the number theory handout found on the class web site, plus the handout on the method of successive squaring

### Logic and Set Notation

Logic and Set Notation Logic Notation p, q, r: statements,,,, : logical operators p: not p p q: p and q p q: p or q p q: p implies q p q:p if and only if q We can build compound sentences using the above

### Logic Synthesis and Verification

Logic Synthesis and Verification Boolean Algebra Jie-Hong Roland Jiang 江介宏 Department of Electrical Engineering National Taiwan University Fall 2014 1 2 Boolean Algebra Reading F. M. Brown. Boolean Reasoning:

### INTRODUCTION TO THE GROUP THEORY

Lecture Notes on Structure of Algebra INTRODUCTION TO THE GROUP THEORY By : Drs. Antonius Cahya Prihandoko, M.App.Sc e-mail: antoniuscp.fkip@unej.ac.id Mathematics Education Study Program Faculty of Teacher

### Note that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication.

Algebra fact sheet An algebraic structure (such as group, ring, field, etc.) is a set with some operations and distinguished elements (such as 0, 1) satisfying some axioms. This is a fact sheet with definitions