Weitere ähnliche Inhalte Ähnlich wie MLPI Lecture 1: Maths for Machine Learning (20) Kürzlich hochgeladen (20) MLPI Lecture 1: Maths for Machine Learning31. Dense%Sets
• A#subset# #is#said#to#be#dense%in% ,#if# .
• A#subset# #is#dense%in% ,#iff#either#of#the#following#
holds:
• Each#open#subset#of# #contains#at#least#one#
element#in# .
• Each# #is#a#limit#of#some#sequence#in# .
• #is#dense#in# ,# #is#dense#in# .
31
49. Projec'on
• Let% %and% ,%then%the%distance%between% %
and% %is%defined%to%be% .
• Let% %be%a%non2empty%convex%closed%subset%of% .%
Then%there%exists%a%unique%element% %such%that%
.%This%element% %is%called%the%
projec/on%of% %onto% ,%denoted%by% .
• Ques%on:%Why%does% %need%to%be%closed%and%
convex?
49
56. Linear'Operators'and'Func1onals
• Let% %and% %be%two%linear%spaces,%a%func5on:%
%is%called%a%linear'operator%if%it%preserves%
linear'dependency,%that%is,%
• In$par(cular,$when$ $is$ ,$ $is$called$a$linear'
func+onal.
• The$set$ $is$a$subspace$of$
,$called$the$null'space$of$ .
56
62. Ques%ons
• Let% %be%a%subspace%of% %that%
comprises%all%con$nuously)differen$able)func$ons%on%
.%Let% .%We%define%a%func8onal%as%
%which%takes%the%deriva8ve%at% .%
• Is% %a%linear%func8onal?
• Is% %bounded?
62
78. Generated( )algebra
• Let% %be%a%collec+on%of%subsets.%Then%the%smallest%
4algebra%that%contains% %is%called%the% !algebra(
generated(by( ,%denoted%by%
• ,%
• countable%intersec+on%of%unions%of%sets%in% %are%
in% .
78
79. Borel& 'algebra
• Let% %be%a%metric'space.%The% +algebra%generated%by%
the%open%subsets%of% %is%called%the%Borel' .algebra%
of% ,%denoted%by%
• Elements%of%the%Borel% +algebra%are%called%Borel'
sets.
• All%the%open%sets,%closed%sets,%and%their%finite%and%
countable%unions%and%intersec?ons%are%all%Borel'
sets.
• Finite%or%countable%sets%are%all%Borel'sets.
79
91. Integral)with)Lebesgue)Measure
• Let% %be%a%func,on%over% ,%then%when% %is%
Riemann'integrable,% %must%be%Lebesgue'integrable%
(w.r.t.%the%Lebesgue'measure),%and%in%such%a%case,%the%
Lebesgue'integral%is%equal%to%the%Riemann'integral.%
• Ques%on:%Consider% :
• Is%it%Riemann'integrable?
• Compute%the%Lebesgue'integral%of% %with%respect%
to%the%Lebesgue'measure.
91
92. !space
• For%any% ,%the% %space%of% ,%denoted%by%
,%is%the%vector%space%comprised%of%all%
measurable%func8ons%on% %such%that%
,%where%the% )norm%is%defined%by
• Ques%on:"Is"it"actually"a"norm?
92
99. Event&Spaces
• The% &algebra% %can%be%interpreted%as%an%event%
space.%Each%element% %is%an%event.
• % %both% %and% %happen
• % %either% %or% %happens
• % % %does%not%happen
• % % %and% %are%mutually%exclusive.
99
106. (Seman'c)*Correspondence
• "algebra) )event)space
• sub" "algebra) )a)family)of)events
• measure) ) )probability)func6on
• measurable)func6on) ) )random)variable
• ) )law)of)
• integra6on) )expecta6on
• Radon"Nikodym)density) )probability)density
106