Introduction To Mathematical Programming IE406: Dr. Ted Ralphs
Introduction To Mathematical Programming IE406: Dr. Ted Ralphs
IE406
Lecture 3
• Bertsimas 2.1-2.2
IE406 Lecture 3 2
Some Definitions
Notes:
IE406 Lecture 3 4
Convex Sets
Notes:
IE406 Lecture 3 5
• Quantifying is specifying from which set and for which values of a variable
a statement is true.
• Example: “For all real numbers x and y, (x + y)2 = x2 + 2xy + y 2.”
• This specifies that x and y can have any real value.
• Example: “For all real numbers x ≥ 0, x = |x|.”
• This specifies that the statement is true for nonnegative values of x.
IE406 Lecture 3 8
• Universal Quantifiers
– Statements that include “for all” or “for every.”
–
– Example: “For all real numbers x, cos2x + sin2x = 1.”
• Existential Quantifiers
– Statements that include “there exists” or “there is.”
–
– Example: “For every real number 0 ≤ x ≤ 1, there exists a real
number 0 ≤ y ≤ π2 such that sin(y) = x.”
• Notation: ∀ means “for all” and ∃ means “there exists”.
π
• Example: “∀x ∈ R such that 0 ≤ x ≤ 1, ∃y ∈ R such that 0 ≤ y ≤ 2
and sin(y) = x.”
IE406 Lecture 3 9
Proof:
Proof:
IE406 Lecture 3 14
Notes:
IE406 Lecture 3 15
Some Conventions
If not otherwise stated, the following conventions will be followed for lecture
slides during the course: