What would YOU call this?

Last week a few friends and I discussed this "function":


It was seen in a classroom, to which the instructor had written, "the domain is empty, therefore this is NOT a function". On further thinking, though, it does not violate any of the parts of the definition of a function. Sooooo, what would you call it? I have my own idea(s).

p.s. Stay out of the complex's. :)


Hi, Chuck:

I guess you want this:

    f(x) = ln(1-x)+ln(x-2)
= ln((1-x)*(x-2))
= ln(-2+3*x-x2)

where the argument of ln() is positive for x in (1,2),
so f(x) is defined and real for x in that range, i.e
between 1 and 2, both excluded, with extrema at x=1.5

Best regards from V.


Ahh, but your first step is not allowed; you have drastically changed the function. The original function f(x) = ln(1-x)+ln(x-2)
cannot be evluated at x = 1.5 without delving into the complexes. It's like saying Log[x^2] = 2Log[x]. The graphs of these are clearly not identical (for x>0 they are, but for x<0 they are not). Soooo, is the original a function or not?


Looking at a couple definitions of "function" I guess you could say that it is a function on the empty set, assuming you consider the empty set to be a valid domain. Doesn't seem proper, but I don't see where the laws of mathematics would fall apart.


I'd call it a function, because "stay out of the complex" is an artifical human requirement, while analytic continuity is mathematically natural. I'd also say x / x = 1 at x = 0 (not that it's undefined), and 1 - 1 + 1 - 1 + 1 -... = 1/2, though.

If you want to have a function that has no domain, why not define a function that really has no domain? Or at least something weirder than the logarithm, which is a perfectly normal function, except that it's multi-valued. How about

f(x) = 1^x + 1^(2*x) + 1^(3*x) + 1^(4*x) + 1^(5*x) + ...

which diverges to infinity for all x. Or even use something non-mathematical.

x, if x loves 0
f(x) = x^2, if x doesn't love 0

f(x) could take values, but since it's hard to establish if one number loves another, it might be undefined for all x.

Possibly Related Threads…
Thread Author Replies Views Last Post
  Last call for 41Z/SandMath Overlays... plus new ones Ángel Martin 0 1,340 12-12-2013, 10:27 AM
Last Post: Ángel Martin
  (Printer) Roll Call Matt Agajanian 2 1,216 08-26-2013, 09:48 PM
Last Post: Matt Agajanian
  Call for HP71 emulation for iPhone - JFG et al? PeterP 4 1,430 01-22-2009, 06:44 PM
Last Post: Marcus von Cube, Germany
  HP-41 MCODE: Making an MCODE program call another MCODE program Geir Isene 10 2,566 01-13-2008, 05:58 AM
Last Post: Raymond Del Tondo
  HP32sii, espresso, and cats--close call! Les Wright 3 1,178 03-21-2007, 02:00 PM
Last Post: Ron
  Call Center moving Dean 34 6,771 10-08-2006, 06:36 PM
Last Post: Randy
  Any NoV32 owner out there? (2nd. call) Vieira, Luiz C. (Brazil) 12 2,605 04-14-2006, 05:05 AM
Last Post: Vieira, Luiz C. (Brazil)
  Roll call from CURRENT student HP users: ECL 14 3,116 11-04-2005, 04:13 PM
Last Post: Sean
  A Call for Captain Zener ( and others) for HELP! Vieira, Luiz C. (Brazil) 17 3,617 04-28-2003, 11:08 AM
Last Post: Ellis Easley
  Re: Call for DOUG about HP-16C Cameron 0 667 08-24-2001, 11:42 PM
Last Post: Cameron

Forum Jump: