Osculation for conic fibrations.

Smooth projective surfaces fibered in conics over a smooth curve are investigated with respect to their k-th osculatory behavior. Due to the bound for the dimension of their osculating spaces they do not differ at all from a general surface for k = 2, while their structure plays a significant role for k >= 3. The dimension of the osculating space at any point is studied taking into account the possible existence of curves of low degree transverse to the fibers, and several examples are discussed to illustrate concretely the various situations arising in this analysis. As an application, a complete description of the osculatory behavior of Castelnuovo surfaces is given. The case k = 3 for del Pezzo surfaces is also discussed, completing the analysis done for k = 2 in a previous paper by the authors (2001). Moreover, for conic fibrations X subset of P-N whose k-th inflectional locus has the expected codimension, a precise description of this locus is provided in terms of Chern classes. In particular, for N = 8, it turns out that either X is hypo-osculating for k = 3, or its third inflectional locus is 1-dimensional

On the uniform approximation of Cauchy continuous functions

In the context of real-valued functions defined on metric spaces, it is known that the locally Lipschitz functions are uniformly dense in the continuous functions and that the Lipschitz in the small functions - the locally Lipschitz functions where both the local Lipschitz constant and the size of the neighborhood can be chosen independent of the point - are uniformly dense in the uniformly continuous functions. Between these two basic classes of continuous functions lies the class of Cauchy continuous functions, i.e., the functions that map Cauchy sequences in the domain to Cauchy sequences in the target space. Here, we exhibit an intermediate class of Cauchy continuous locally Lipschitz functions that is uniformly dense in the real-valued Cauchy continuous functions. In fact, our result is valid when our target space is an arbitrary Banach space.