Lecture

Real Numbers: sqrt(2)

Graph Chat

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Description

This lecture covers the concept of real numbers, specifically focusing on the square root of 2. It discusses the properties of the set A = {x ∈ R: x > 0, x² < 2}, explores the supremum of A, and analyzes the implications of different scenarios where a² is compared to 2. Through a series of mathematical derivations, it demonstrates contradictions and concludes with the proof that √2 is an irrational number.

In MOOCs (2)

Analysis I

This course covers : Part 1: Prelude, basic concepts, real numbers. Part 2: Introduction to complex numbers. Part 3: Real number sequences I and II. Part 4: Limit of a function, continuous functions. Part 5: Continuous functions and derivable functions, the derivative function. Part 6: Studies of functions, limited developments. Part 7: Indefinite and definite integrals, integration (selected chapters).

Analysis I (part 1): Prelude, basic concepts, real numbers

Can you calculate the value of sin(π/4)? Does the identity ln(xy)=ln(x)+ln(y) sound familiar? In the prelude we recall and expand on a few such notions, in particular the trigonometric functions sin, cos and tan and their properties, the concept of reciprocal functions such as exp and ln, some calculation rules concerning powers, logarithms and roots, sets and functions. Next we discuss number systems: based on the "intuitive" notion of the natural integers N={0,1,2,3,...}, we rigorously define the rational

Official source

Quiz

Related concepts (32)

Real number

In mathematics, a real number is a number that can be used to measure a continuous one-dimensional quantity such as a distance, duration or temperature. Here, continuous means that pairs of values can have arbitrarily small differences. Every real number can be almost uniquely represented by an infinite decimal expansion. The real numbers are fundamental in calculus (and more generally in all mathematics), in particular by their role in the classical definitions of limits, continuity and derivatives.

Irrational number

In mathematics, the irrational numbers (from in- prefix assimilated to ir- (negative prefix, privative) + rational) are all the real numbers that are not rational numbers. That is, irrational numbers cannot be expressed as the ratio of two integers. When the ratio of lengths of two line segments is an irrational number, the line segments are also described as being incommensurable, meaning that they share no "measure" in common, that is, there is no length ("the measure"), no matter how short, that could be used to express the lengths of both of the two given segments as integer multiples of itself.

Infimum and supremum

In mathematics, the infimum (abbreviated inf; plural infima) of a subset of a partially ordered set is the greatest element in that is less than or equal to each element of if such an element exists. In other words, it is the greatest element of that is lower or equal to the lowest element of . Consequently, the term greatest lower bound (abbreviated as ) is also commonly used. The supremum (abbreviated sup; plural suprema) of a subset of a partially ordered set is the least element in that is greater than or equal to each element of if such an element exists.

Construction of the real numbers

In mathematics, there are several equivalent ways of defining the real numbers. One of them is that they form a complete ordered field that does not contain any smaller complete ordered field. Such a definition does not prove that such a complete ordered field exists, and the existence proof consists of constructing a mathematical structure that satisfies the definition. The article presents several such constructions. They are equivalent in the sense that, given the result of any two such constructions, there is a unique isomorphism of ordered field between them.

Naive set theory

Naive set theory is any of several theories of sets used in the discussion of the foundations of mathematics. Unlike axiomatic set theories, which are defined using formal logic, naive set theory is defined informally, in natural language. It describes the aspects of mathematical sets familiar in discrete mathematics (for example Venn diagrams and symbolic reasoning about their Boolean algebra), and suffices for the everyday use of set theory concepts in contemporary mathematics.

Related lectures (64)

Introduction to Real Numbers and Their Properties

Introduces real numbers, their properties, and their significance in analysis.

Real Numbers: Sets and Operations

Explores the fundamental concepts of real numbers, including sets, operations, and properties like supremum and infimum.

Properties of Real Numbers: Bounds, Density, Absolute Value

Covers the properties of real numbers, including bounds, density, and absolute value.

Real Numbers: Axioms and Bounds

Covers the organization of real numbers, axioms, and bounds, including infimum and supremum.

Real Numbers: Definitions and Properties