Singular stationary measures are not always fractal

We know of few explicit results to insure that stationary measures are simultaneously (i) singular, (ii) nonatomic, (iii) with interval support, and (iv) unique. Such results would appear useful, to further separate the analytic notion of singular from the geometric notion of fractal. We prove two general theorems, one for maps of [0,1] into [0, 1], the other for 2×2 random matrices. In each setting, we study measures supported on two points of the transformation space, and we provide sufficient conditions to insure that the stationary measures satisfy (i)–(iv).