This log documents my work for the above course and is not checked to be free from errors. Please send comments, point out errors, and suggestions via email to somphene1 at gmail dot com. Any mistakes are attributed to my own hastiness and not the Professor who has most probably not seen any of this work.
This course offering is being recorded by CDEEP so the lecture videos are uploaded on their site (LDAP sign in needed). It will also be uploaded to NPTEL with the course name Optimization from fundamentals.
As this is being recorded for CDEEP, it places constraints on teaching style and interaction.
Started with an introduction to optimization and provided motivation to build formal techniques to solve optimization problems. The class ended with some review of Real Analysis.
Existence of optimal solution to a problem cant be taken for granted and must be proved. This requires notions of convergence for which Real Analysis must be reveiwed.
The notion of a sequence \((x_n)_{n \in \mathbb{N}}\) converging can be formalized as a challenge problem: A sequence converges to a point \(x^*\) means that for any given \(\epsilon >0\) (that could be as small as the challenger demands), there is a point in the sequence after which all points are within \(\epsilon >0\) distance of \(x^*\). That is
\(\forall \epsilon >0, \quad \exists \,\, n_0 \in \mathbb{N}, \quad \textrm{such that} \\ \| x_n-x^* \| < \epsilon, \quad \forall n > n_0\)