Infima and complements in the lattice of quasi-uniformities

We show that the infimum of any family of proximally symmetric quasi-uniformities is proximally symmetric, while the supremum of two proximally symmetric quasi-uniformities need not be proximally symmetric. On the other hand, the supremum of any family of transitive quasi-uniformities is transitive, while there are transitive quasi-uniformities whose infimum with their conjugate quasi-uniformity is not transitive. Moreover we present two examples that show that neither the supremum topology nor the infimum topology of two transitive topologies need be transitive. Finally, we prove that several operations one can perform on and between quasi-uniformities preserve the property of having a complement.     

Bronze roman mirrors: the secret of brightness

The surface microchemical structure of high tin leaded bronze Roman mirrors has been studied by means of scanning electron microscopy combined with energy dispersive spectrometry (SEM-EDS), X-ray diffraction (XRD) and optical microscopy (OM) techniques. The results allowed understanding of the origin of their high chemical stability and silvery-lustrous appearance. Indeed, some areas of the selected Roman mirrors are still characterised by a highly reflective and silver coloured surface even though they have been buried in the soil for about 2000 years. The micro-chemical results obtained from these areas have revealed that the mirror surface was tin enriched via inverse-segregation phenomenon by tailoring the cooling parameters. Furthermore, the presence of tin could be likely enhanced via cycles of oxidation and selective copper corrosion processes, thus resulting in a tin surface enrichment as a semi-transparent amorphous-like tin oxide (SnO₂) film, as well as a copper depletion at the outer surfaces.     

Zinn und Antimon in Legierungen

Ohne Zusammenfassung     

Maximin share and minimax envy in fair-division problems

For fair-division or cake-cutting problems with value functions which are normalized positive measures (i.e., the values are probability measures) maximin-share and minimax-envy inequalities are derived for both continuous and discrete measures. The tools used include classical and recent basic convexity results, as well as ad hoc constructions. Examples are given to show that the envy-minimizing criterion is not Pareto optimal, even if the values are mutually absolutely continuous. In the discrete measure case, sufficient conditions are obtained to guarantee the existence of envy-free partitions.     

Shape Optimization for Semi-Linear Elliptic Equations Based on an Embedding Domain Method

We study a class of shape optimization problems for semi-linear elliptic equations with Dirichlet boundary conditions in smooth domains in ℝ². A part of the boundary of the domain is variable as the graph of a smooth function. The problem is equivalently reformulated on a fixed domain. Continuity of the solution to the state equation with respect to domain variations is shown. This is used to obtain differentiability in the general case, and moreover a useful formula for the gradient of the cost functional in the case where the principal part of the differential operator is the Laplacian. Online publication 23 January 2004.     

Stable products of spheres in the non-linear coupling of oscillators or quasi-periodic motions

For generic families of vector fields or transformations, normally hyperbolic invariant products of spheres appear near partially elliptic rest points. To cite this article: M. Kammerer-Colin de Verdière, C. R. Acad. Sci. Paris, Ser. I 339 (2004).     

Teaching proof in the context of physics

This paper describes an application of statics to geometrical proofs in the classroom. The aim of the study was to find out whether the use of concepts and arguments from statics can help students understand and produce proofs of geometrical theorems. The two theorems studied were (1) that the medians in a triangle meet at a single point which is the centre of gravity of the triangle, and (2) the Varignon theorem, that the lines joining the midpoints of successive sides of a quadrilateral form a parallelogram. The classroom experiment showed that most students were successful in using arguments from statics in their proofs, and that they gained a better understanding of the theorems. These findings lend support to the claim that the introduction of statics helps students produce proofs and grasp their meaning.     

Homogeneous quaternionic Kähler structures of linear type

A classification of homogeneous quaternionic Kähler structures by real tensors is given and related to Fino's representation theoretic decomposition. A relationship between the modules whose dimension grows linearly and quaternionic hyperbolic space is found. To cite this article: M. Castrillón López et al., C. R. Acad. Sci. Paris, Ser. I 338 (2004).