In this section, we introduce the concept of real pdf writer 3 0 5660 1001 relations and functions. Introduction to logic and set theory 202014 general course notes december 2, 20 these notes were prepared as an aid to the student. The notion of set is taken as undefined, primitive, or basic, so we dont try to define what a set is, but we can give an informal description, describe. We impose transitivity and totality to the relation, and call preferences that satisfy both axioms rational. Because the fundamentals of set theory are known to all mathematicians, basic problems in the subject seem elementary. A set can be represented by listing its elements between braces. I have problems in understanding few concepts of elementary set theory. Set theory is indivisible from logic where computer science has its roots. A little set theory never hurt anybody matthew saltzman department of mathematical sciences clemson university draft. A function in set theory world is simply a mapping of some or all elements from set a to some or all elements in set b. We will learn the basic properties of sets, how to.
Category theory for dummies i university of edinburgh. Ive choosen a couple of problems from my problems set which would help me understand this concepts. The main notions of set theory cardinals, ordinals, transfinite induction are fundamental to all mathematicians, not only to those who specialize in mathematical logic or set theoretic topology. Set theory tutorial problems, formulas, examples mba. Our treatment will be an informal one rather than taking an axiomatic approach at this time. Specifically, the probability of the empty set is zero and the probability of the sample space is 1, with other sets given probabilities between 0 and 1.
Basic problems in elementary set theory mathematics stack. A theory is a systematic set of interrelated statements intended to explain some aspect of social life. Set theory and algebra in computer science a gentle. A normal function is a function that is both continuous and increasing. Here are three simple statements about sets and functions. We begin with a refresher in the basics of set theory. They are not guaranteed to be comprehensive of the material covered in the course. By 1900, set theory was recognized as a distinct branch of mathematics. Sets the notions object, set, and membership are used in this theory without definition. Instead, i am going to show you what can be done with sets. Lawvere closely connected with computation, types and logic. The remarkable thing about set theory is that not only basic mathematics but indeed all mathematics can be represented as properties of sets.
However, not every rule describes a valid function. General variables in nbasic are single unsigned bytes of memory. Specifically, set theory postulates the existence of a set with no members. In order to eliminate such problems, an axiomatic basis was developed for the theory of sets analogous to that developed for elementary geometry. Set symbols of set theory and probability with name and definition. Functions a function is a relation between a set of inputs and a set of permissible outputs with the property that. I offer no definition of what a set is beyond the intuitive notion described above. Category theory an abstract theory of structured things and structure preserving function like things. Thus, the sets x, y are equal, written x y, if x2x if and only if x2y. Sets, functions, sequences, sums, and matrices chapter 2 with questionanswer animations. Notation if f is used to denote a function this association is symbolically expressed as fm1 m2. Then, intuitively, there is a set whose elements are. All books are in clear copy here, and all files are secure so dont worry about it. Set theory has its own notations and symbols that can seem unusual for many.
Thus, two sets are equal if and only if they have exactly the same elements. This chapter will be devoted to understanding set theory, relations, functions. For any two sets x and y, either there is a onetoone function from. For those of you new to abstract mathematics elementary does not mean simple though much of the material. It is usually denoted by a symbol 1 or i, sometimes in boldface or blackboard boldface, with a subscript specifying the subset.
This means that 1,2,3 is a set but 1,1,3 is not because 1 appears twice in the second collection. Paradigms, theory, research, and ethnics of social research what are the functions of theory. Issues about data structures used to represent sets and the computational cost of set operations. Basic set theory sfsu math department san francisco state. A group is a set, g, together with an operation called the group law of g that combines any two elements a and b to form another element, denoted a b or ab. They are sets, and indeed, subsets of the power set pa.
Introduction to functions mctyintrofns20091 a function is a rule which operates on one number to give another number. These notes were prepared using notes from the course taught by uri avraham, assaf hasson, and of course, matti rubin. Sets and elements set theory is a basis of modern mathematics, and notions of set theory are used in all formal descriptions. Observe that the unique element of the last set is the set 1. Set theory problems and solutions on functions set theory problems and solutions let a, b, c be three sets as shown in the following venn. Discussion please study the notation for elements, subsets, proper subsets, and the empty set. The empty set we said earlier that sets have members, but there is an exception. Aug, 2002 but theyre not of much use for practical mathematics. On the right, the collection of all possible outputs also known as range in. It is the reduction of our knowledge to the basic ideas, presented in a way that shows their underlying patterns and relationships.
Set theory, branch of mathematics that deals with the properties of welldefined collections of objects, which may or may not be of a mathematical nature, such as numbers or functions. A set is a collection of objects, called elements of the set. The basic relation in set theory is that of elementhood, or membership. Elements of the theory of functions and functional analysis volumes 1 and 2 two volumes bound as one by a.
Independent of the concrete representation of the things and functions. Basic set theory richard pettigrew january 26, 2012 1 a set and its members a set is a collection of objects. Download basic concepts of set theory, functions and relations book pdf free download link or read online here in pdf. Most of the ordinal and cardinal theory is as useful for practical mathematics as a road map for mars would be for drivers on earth. Soft set theory has a rich potential for applications in several directions, few of which had been shown by molodtsov in his pioneer work 7. Questions are bound to come up in any set theory course that cannot be answered mathematically, for example with a formal proof. These notes outline some set theory on which many parts of. Set theory is a branch of mathematical logic that studies sets, which informally are collections of. Two other common notations for the complement of a set, a, is ac and a0. Set theory is a branch of mathematical logic that studies sets, which informally are collections of objects.
The theory is less valuable in direct application to ordinary experience than as a basis for precise and adaptable terminology for the definition of complex and sophisticated mathematical concepts. Set theory and related topics by seymour lipschutz. In other words, a function f is a relation such that no two pairs in the relation has the same first element. The intersection a\bof two sets a, bis the set of all elements that belong to both aand b. It has been and is likely to continue to be a a source of fundamental ideas in computer science from theory to practice. The languages of set theory and of mathematical logic were developed together, so that, as a mathematical discipline, set theory is a branch of mathematical logic. A possibility measure assigns a number between zero and one to each set in the powerset of some given set. Technically, as we shall see shortly, we can view the language of set theory as a special sublanguage of. Sets, relations and functions basic definitions and concepts of sets, relations and functions. The expression x 0 x indicates that the object x is a member of the set x.
Basic concepts of set theory, functions and relations. Sets are welldetermined collections that are completely characterized by their elements. Set theory is likely to be around long after most presentday programming languages have faded from memory. Automatic initialization is done the first time a variables value is set, and a single byte of convenient memory is allocated. These continuous functions are often used in cofinalities and cardinal numbers. The language of set theory can be used to define nearly all mathematical objects. Many different systems of axioms have been proposed. Up until now most of the material on type theory has only appeared in proceedings of conferences and in research papers, so it seems appropriate to try to set down the current state of development in a form accessible to. Propositional calculus and set theory are both instances of an algebraic system called a boolean algebra. This is not a problem in usual mathematics, as it is generally not difficult to consider only functions whose domain and codomain are sets, which.
This is discussed in chapter 12 the operators in set theory are analogous to the corresponding operator in propositional calculus as always there must be a universal set u. The text introduces all main subjects of naive nonaxiomatic set theory. Set theory is not really the only rigorous mathematical language. Elements of the theory of functions and functional analysis. In mathematics, an indicator function or a characteristic function is a function defined on a set x that indicates membership of an element in a subset a of x, having the value 1 for all elements of a and the value 0 for all elements of x not in a. Set theory basic set theory stanford encyclopedia of. It is conceivable that a set contains no elements at all. In this tutorial, we look at some solved examples to understand how set theory works and the kind of problems it can be used to solve. In this case, the unique value bis called the value of f at a, and we write. The element m1 is called the argument and m2 the value of the function application fm1. The notion of set is taken as undefined, primitive, or basic, so we dont try to define what a set is, but we can give an informal description, describe important properties of sets, and give examples. Suppose we have a set x and we have a function f that takes an element z 2x and returns a value fz. Such a monoid is a category with one object, and an arrow xfor every x2x. Later in the semester we will revisit sets with a more formal approach.
These tools help in carrying out logical and mathematical set operations on mathematical and other realworld entities. This chapter describes set theory, a mathematical theory that underlies all of modern mathematics. Partee 1979, fundamentals of mathematics for linguistics. Basic set theory a set is a many that allows itself to be thought of as a one. In the present paper, we make a theoretical study of the soft set theory in more detail. Set theory for computer science university of cambridge.
The elements of the topology of metrics spaces are presented. Although any type of object can be collected into a set, set theory is applied most often to objects that are relevant to mathematics. Sets and functions sets are determined entirely by their elements. Set theory basic set theory stanford encyclopedia of philosophy. Most basic categories have as objects certain mathematical structures, and the structurepreserving functions as morphisms. Sets and functions we understand a \ set to be any collection mof certain distinct objects. They have global scope throughout your program, and you have the option of initializing them manually or automatically. Sets, functions, relations northwestern university. August 19, 2019 1 introduction the fundamental ideas of set theory and the algebra of sets are probably the most important concepts across all areas of mathematics other than the algebra of real numbers. Set theory and function composition stack exchange.
The strong tradition, universality and neutrality of set theory make it rm common ground on which to provide uni cation between seemingly disparate areas and notations of computer science. Read online basic concepts of set theory, functions and relations book pdf free download link book now. Set theory basic building block for types of objects in discrete mathematics. Some basic notations of set theory references there are some good books about set theory. Make sense of observed patterns in ways that suggest other possibilities. Mit this series of lessons cover the essential concepts of math set theory the basic ways of describing sets, use of set notation, finite sets, infinite sets, empty sets, subsets. Sets help in distinguishing the groups of certain kind of objects.
In the example above, the collection of all the possible elements in a is known as the domain. The course assumes that the student has seen the basics of real variable theory and point set topology. Smith san francisco state university these notes outline some set theory on which many parts of mathematics are based. Set theory is a basis of modern mathematics, and notions of set theory are used in all formal descriptions.
Basic concepts of set theory, functions and relations 1. They look like they could appear on a homework assignment in an undergraduate course. Basic set theory is generally given a brief overview in courses on analysis, algebra, or topology, even though it is sufficiently important, interesting, and simple to merit its own leisurely treatment. Chapter v on consequences of the axiom of choice is the last of the basic set theory chapters in this book. We now in troduce the operations used to manipulate sets, using the opportunity to practice curly brace notation. Some basic sets of central importance are the empty set the unique set containing no. The objects in a set are called its elements or members.
The semantics of predicate logic is defined in terms of set theory. Set theory is also the most philosophical of all disciplines in mathematics. Georg cantor this chapter introduces set theory, mathematical induction, and formalizes the notion of mathematical functions. Computer science, being a science of the arti cial, has had many of its constructs and ideas inspired by set theory. On the right, the collection of all possible outputs also known as range in other branches, is.
Preface a set theory textbook can cover a vast amount of material depending on the mathematical background of the readers it was designed for. Vocabularies of basic set theory tomoo matsumura august 20, 2010 1 sets. Set theory for beginners consists of a series of basic to intermediate lessons in set theory. S empty set in virtue of the principle of extensionality, there can be at most one set with no members. Sets, relations and functions are all part of the set theory.
This unit explains how to see whether a given rule describes a valid function, and introduces some of the mathematical terms associated with functions. At just that time, however, several contradictions in socalled naive set theory were discovered. Introduction to set theory a solution manual forhrbacek and jech1999 jianfei shen school of economics, the university of new south wales sydney, australia. Basic set theory is generally given a brief overview in courses on analysis, algebra, or topology, even though it is sufficiently important.
322 18 706 1144 736 1017 863 71 1487 1342 711 1446 608 121 1045 991 611 56 1339 496 1348 623 129 609 1166 574 305 645 891 994 876 651 1237 882 871 568 68 377 1220 332