Functions and MapsOptimization Models > Gauss’ Bet | Functions and Maps | Standard Forms | Nomenclature | Problem Classes | Complexity | History
DefinitionsFunctionsIn this course we define functions as objects which take an argument in , and return a value in . We use the notation to refer to a function with ‘‘input’’ space . The ‘‘output’’ space for functions is . Example: The function with values gives the distance from the point to a given point . DomainWe allow functions to take infinity values. The domain of a function , denoted , is defined as the set of points where the function is finite. Example: Define the logarithm function as the function , with values if , and otherwise. The domain of the function is thus (the set of positive reals). Two functions can differ not by their formal expression, but but because they have different domains. Example: The functions defined as have the same formal expression inside their respective domains. However, they are not the same functions, since their domain is different. MapsWe reserve the term map to refer to vector-valued functions. That is, maps are functions which return more than a single value. We use the notation to refer to a map with input space and output space . The components of the map are the (scalar-valued) functions , . Example: a map. Graph and EpigraphConsider a function . We can define two sets relevant to : the graph and the epigraph. Both are subsets of . GraphThe graph of is the set of input-output pairs that can attain, that is: EpigraphThe epigraph, denoted , describes the set of input-output pairs that can achieve, as well as ‘‘anything above’’ (epi in Greek means ‘‘above’’): Level and Sub-level SetsLevel and sub-level sets correspond to the notion of contour of a function. Both are indexed on some scalar value . Level setsA level set is simply the set of points that achieve exactly some value for the function . For , the -level set of the function is defined as Sub-level setsA related notion is that of sub-level set. This is now the set of points that achieve at most a certain value for , or below:
|