We prove a version of the classical Runge and Mergelyan uniform approximation theorems for non-orientable minimal surfaces in Euclidean 3-space R 3 . Then, we obtain some geometric applications. Among them, we emphasize the following ones:• A Gunning-Narasimhan type theorem for non-orientable conformal surfaces.• An existence theorem for non-orientable minimal surfaces in R 3 , with arbitrary conformal structure, properly projecting into a plane. • An existence result for non-orientable minimal surfaces in R 3 with arbitrary conformal structure and Gauss map omitting one projective direction.Finally, in a different line of applications, we prove an extension of the classical Gunning-Narasimhan theorem [18] (see also [21]); more specifically, we show that, for any open Riemann surface N and any antiholomorphic involution I : N → N without fixed points, there exist holomorphic 1-forms ϑ on N with I * ϑ = ϑ and prescribed periods and canonical divisor (see Theorem 6.4).Outline of the paper. The necessary notation and background on non-orientable minimal surfaces in R 3 is introduced in Sec. 2. In Sec. 3 we describe the compact subsets involved in the Mergelyan type approximation, and define the notion of conformal non-orientable minimal immersion from such a subset into R 3 . In Sec. 4 we prove several preliminary approximation results that flatten the way to the proof of the main theorem in Sec. 5. Finally, the applications are derived in Sec. 6.
PreliminariesLet · denote the Euclidean norm in K n (K = R or C). Given a compact topological space K and a continuous map f : K → K n , we denote bythe maximum norm of f on K. The corresponding space of continuous functions on K will be endowed with the C 0 topology associated to · 0,K . Given a topological surface N, we denote by bN the (possibly non-connected) 1dimensional topological manifold determined by its boundary points. Given a subset A ⊂ N, we denote by A • and A the interior and the closure of A in N , respectively. Open connected subsets of N \ bN will be called domains of N , and those proper connected Proof. We begin with the following assertion.Claim 5.7. There exists a connected I-admissible subsetŜ ⊂ N such that RŜ = R S and CŜ ⊃ C S ; that is to say,Ŝ is constructed by adding a finite family of Jordan arcs to S.Proof. If S is connected chooseŜ = S.Assume that S is not connected. We distinguish the following two cases. (See Remark 3.1 and Def. 2.2 and 2.3 for notation.) Case 1. S is a connected subset of the non-orientable Riemann surface N . In this situation, any tubular neighborhood of S is an orientable surface. Then, take any Jordan arc γ ⊂ N with end points in bR S and otherwise disjoint from S , such that any tubular neighborhood