Skip to main content
3 of 6
Excluded the trivial open sets
David E Speyer
  • 156.2k
  • 14
  • 419
  • 763

I think the answer is, yes, the graph can be connected.

By definition, if the graph G is not connected, then we can find disjoint open sets A and B, such that G is contained in A union B. In particular, that implies no point in G can be contained in the boundary of A.

So to make the graph connected, it's enough to construct an additive function f whose graph intersects the boundary of every open set (other than R^2 and \emptyset). To do so, consider a basis H for R as a vector space over Q. This set has cardinality of the reals. Now note that the set of all open sets in R^2 also has cardinality of the reals. (http://en.wikipedia.org/wiki/Cardinality_of_the_continuum)

Put these two sets (basis H, all open sets) in 1-1 correspondence, so for each h in H, we have an open set O(h). We can always find a nonzero rational q, and a real y such that (qh,y) is in the boundary of O(h). Define f(qh)=y. Doing this for all elements of H will determine a unique additive function f on the reals.

The graph of f, by construction, is connected since it intersects the boundary of every open set in R^2. (And it's not continuous--if it were, it would miss the boundaries of a lot of open sets!)

Martin M. W.
  • 6.6k
  • 2
  • 36
  • 36