This lecture introduces Hilbert spaces as pre-Hilbert spaces, defined by a positive definite Hermitian form. It covers properties such as the Cauchy-Schwarz inequality, norm definition, and the parallelogram rule. Examples include function spaces and matrix spaces. The lecture also discusses examples of Banach spaces and demonstrates the completeness of a separable Hilbert space.