in Set Theory & Algebra reshown by
402 views
0 votes
0 votes
$C_{a}^{k}:\mathbb{N}^{k}\rightarrow \mathbb{N}$

I am studying discrete math from beginnings and came across this term in primitive recursive function.I don't know what $C_{a}^{k}$ means and does  $\mathbb{N}$ means set of natural numbers?Someone please help me out.
in Set Theory & Algebra reshown by
by
402 views

1 comment

Yes, $\mathbb{N}$ means set of natural numbers.

In Rosen, It is defined for Constant Functions.

when We write, $f : \mathbb{N}^{^{k}} \rightarrow \mathbb{N}$

It means domain is taken as tuple of natural numbers whose size is $k$ and $f$ maps this tuple of natural numbers to a natural number.

For eg. $f : \mathbb{N}^{^{2}} \rightarrow \mathbb{N}$ (or) $f : \mathbb{N}\times \mathbb{N}\rightarrow \mathbb{N}$ then domain $(x,y) \in \mathbb{N} \times \mathbb{N} $ and co-domain $\in \mathbb{N}$

We can take any function of 2 variables as an example for this like $f(x,y) = x^{2} + y^{2}$

Now,

Here, $C_{a}^{k}$ is just a representation for constant function. This function takes a tuple of natural numbers $(x_1,x_2,......x_k)$ as domain and map to a number 'a'. $X$ represents a tuple  $(x_1,x_2,......x_k) \in  \mathbb{N} \times \mathbb{N}\times.....k\; times $ (or) $X \in \mathbb{N}^{^{k}}$

1
1

Please log in or register to answer this question.

Related questions

Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true