Paul,
> So you want something like
>
> "If f : |N -> |N , let c_f(n) = (1/2)*f(n)*(f(n) - 1)"
>
> Since c depends on the function it must be tagged somehow with the
> function name.
>
> You can then continue:
>
> "Let J be a set of primes and for n in |N define
> t(n) = |{p in J : p divides n}|".
>
> Then you can refer to c_t(n) if needs be.
I don't quite know whether your reply answers the issue I have here, but
my
problem is not writing out the definition of t(n) for which t(n) is
determined by the divisibility on n. I've got that done already. It's
writing out the definition of t: N ---> N is arbitrary, and my not knowing
whether the change in definition of t(n) will mean that anything needs to
be
said as regards c(n), which after the second definition is laid down
becomes
c(n,J).
Cheers.
|
